$ loading_
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.
Copy the install command and let the AI configure it · recommended for beginners
No copy-paste install info for "Postcondition" yet — see the docs or source repo.