verify - 使用 Acutis PCST 合约验证代码
使用 Acutis PCST 合约验证 AI 生成的代码，并针对安全相关数据流报告 ALLOW 或 BLOCK 决策。
标签
更新于: 2026-10-05能力
典型输入
典型输出
该技能可以做什么
- 使用 PCST 合约验证代码
- 分类来源与汇点
- 声明转换与参数角色
- 追踪来源到汇点路径
- 诊断 BLOCK_INCOMPLETE 结果
- 验证安全数据流
输入
- 代码片段
- 编程语言
- PCST 合约
输出
- ALLOW 或 BLOCK 决策
- 验证消息
- 见证路径状态
要求
- Acutis MCP 服务器访问权限
- 受支持的语言解析器