面向 LLM 代理的端到端安全审计框架：静态 AST 与污点建模、攻击合成、Docker 沙箱重放，以及结合 MCP 审计的确定性裁决报告。