← Back
christian140903-sudo
3 MCPgithub ↗
// all assets
MCP
agent-invariants
Validate AI agent behavior contracts and detect regressions through baseline comparisons.
—Get→
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.
—Get→
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.
—Get→