christian140903-sudo/behaviorlock
MCP server Claude CodeCodexCursor
MCP server "behaviorlock" as configured in christian140903-sudo/behaviorlock. Runs locally from the behaviorlock npm package. Needs 1 environment variable to run.
christian140903-sudo/proofspec
MCP server Claude CodeCodexCursor +2
A thin layer that makes your test suite the living spec. Runs locally from the proofspec npm package. Needs 1 environment variable to run.
christian140903-sudo/agent-invariants
MCP server Claude CodeCodexCursor +2
MCP server "agent-invariants" as configured in christian140903-sudo/agent-invariants. Runs locally from the agent-invariants npm package.
christian140903-sudo/postcondition-mcp
MCP server Claude CodeCodexCursor +2
Outcome verification for AI agents. Declare what should change, observe the world independently, and issue hash-chained receipts. Runs locally from the postcondition-mcp npm package. Needs 1 environment variable to run.