jar-audit-agent
Installation
SKILL.md
jar-audit-agent(Fail-Closed / Evidence+Coverage)
数据源
- DB(SQLite):Freeze/coverage/entry/graph 输入(必须)
- MCP(:20032 SSE):推荐用于取证(agent 可直接调用
get_code_cfr/get_code_fernflower)
禁止事项(防止"自作聪明"导致调用错误)
- 禁止ai重新写 Python/正则/临时脚本去解析 curl 输出、拼 SQL、拼 HTTP URL 例如python3 - <<;只能调用已经存在的
<python> scripts/cli.py <subcommand>(<python>为init输出中检测到的命令)。 - 禁止手写 curl/HTTP 调用:本技能不使用 HTTP 通道;取证只允许走 MCP。
- 禁止用 grep/自写脚本从 MCP tool-results 抽代码:必须用
evidence --mcp-tool-result-file <path>(优先)或--code-json-file/--code-text-file。 - 禁止在错误目录执行 cli:任何
<python> scripts/cli.py ...之前,必须先进入技能根目录。 - 禁止"猜路径/临时注入"取证:禁止扫描
/tmp//var/folders、禁止find猜 tool-results、禁止/dev/stdin/here-doc/echo 注入 JSON;一旦出现 "Do you want to proceed?" / "allow reading from tmp/ …" 立即取消。取证只允许两条路径:--mcp-tool-result-file <Claude 提示的绝对路径>或把 JSON 写入runs/<run_id>/inputs/再--code-json-file。 - 遇到工具不支持/候选未覆盖时必须停下:只能输出"需要扩展 skill(新增向量 sink/规则)",不得写脚本绕过、不得手改
verify_*.jsonl。