用途:为生成式 AI 合成的代码定义自动化 AST 校验过滤器、禁用模式检查与边界不变量,形成可审计的安全护栏登记册,适用于分布式工程与去中心化应用系统。
主要能力:提供统一的字段与数据模型,包含护栏策略 ID、目标语言流水线、AST 安全扫描器、危险原语过滤、禁用 unsafe 块、重入检测规则、提示注入防护、最大圈复杂度、流水线执行状态、负责安全工程师与策略验证日期等字段。支持导出 CSV、SQL DDL、JSON Schema 及 Notion 属性登记表,可接入 CI 校验流水线;按枚举选项设定边界值(如目标语言可选择 Rust (Soroban)、TypeScript (React)、Solidity (EVM)、Python (FastAPI),执行状态可选 Blocking CI Gate 等)。
使用方式:先定义参数、阈值与身份绑定,再从校定的枚举集选择边界执行值,最后导出标准化产物集成到验证 CI 流水线。流程为:定义标准 → 运行自动验证 → 记录基线 → 监控不变量。
适用场景:在形式化架构契约、安全不变量或运行限制时;需要协议开发者、智能合约审计员与 AI 工程代理跨职能评审时;需要生成可复现的合规追踪登记表时。
限制:仅提供架构规范、数据模型与验证 schema,未经授权外部工具不执行直接交易签名;查询链上状态需要网络连接与有效 RPC 凭据。测试应使用合成假密钥与模拟地址,避免与生产密钥或私有端点混用。资料未提供具体安装命令、收费方式与端到端使用步骤。