Discovers AI agents on a machine and what they can reach, verifies safety policies with Z3 and TLA+, and enforces them deterministically.
接入配置
该项目没有提供统一的启动命令，请按源码仓库的说明安装。
相关推荐
更多- CCTRLRunCTRLRunExecution safety gateway for agents: YAML policies allow, hold or deny tool calls, with an approval queue and hash-chained receipts.安全27 仓库星标
- AAgent Passport MCPaeoess官方Issues agent passports, verifies scoped delegation chains, enforces gateway policy and emits signed records.安全本地 + 远程4 仓库星标
- DDashClawucsandmanRemote approvals, policy checks and execution evidence for unattended AI agents, logging every decision.安全313 仓库星标
- AAgentWardagentward-aiProxies MCP tool calls and enforces least-privilege YAML policies, flags PII and PHI, detects risky skill chains and logs an audit trail.安全19 仓库星标
- RReasonGatecgrtmlGateway for stdio MCP servers that blocks tool calls whose destination or content came from untrusted tool results, with an auditable reason for each decision.安全16 仓库星标
- AAssayRul1anPolicy proxy for MCP tool calls that denies risky calls and records decisions in offline-verifiable evidence bundles.安全13 仓库星标