概览
OrangePro 是一个本地优先的 CLI 工具与 MCP 服务,专为行为映射、基于真实代码的测试生成及动态形式化验证而设计。
核心特性
- 支持 Grounding:严格引用项目中的真实文件、符号与现有测试用例
- 提供 Run hints:明确提示代码应写入位置及执行方式
- 实现 Scenario bucket + technique:按故障模式分类测试场景,并以 AI-linked 方式呈现推理链
适用场景
面向需要将大模型行为与本地代码库深度对齐的开发者,适用于测试增强、行为验证与可复现 AI 辅助开发流程。
开发工具






