← 返回
christian140903-sudo
4 MCPgithub ↗
// 全部资产
MCP 工具
agent-invariants
为 AI 代理校验行为契约并对比回归，发现关键规则退化
—装→
MCP 工具
behaviorlock
用于比较 AI 代理轨迹并锁定行为契约
—装→
MCP 工具
Postcondition
An MCP server that checks whether the world changed after a tool call by declaring observable outcomes, verifying them with read-only verifiers, and keeping hash-chained receipts.
—装→
MCP 工具
proofspec
Enables defining and verifying evidence contracts for claims in READMEs, releases, or product pages using constrained verifiers and generating hash-chained receipts and reports.
—装→