N/A

christian140903-sudo/Postcondition

mcp agent Offline

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.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know