Main
先走确定性流程:按 README,
validate+analyze不需要 LLM API key 就能跑完整静态分析。需要验证防护效果时,对 hardened spec 执行
simulate(README 说明该步骤需要 API key)。把输出当 CI 产物:导出 Markdown/HTML/JSON,并用
diff追踪安全回归。
Source-backed notes
- README 说明流程由
agent_spec.yaml驱动,并支持导出 Markdown/HTML/JSON。 - README 的 Quick start 通过复制示例 spec,执行
validate与analyze(无需 API key)。 - README 列出哪些命令需要 API key(如
simulate)。
FAQ
- 做静态分析需要 API key 吗?:不需要。README 说明
validate/analyze为确定性流程。 - 需要写什么文件?:写
agent_spec.yaml描述系统,README 有示例。 - 能输出报告吗?:能。README 说明
report可渲染为 HTML/Markdown/JSON。