$ 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.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"Postcondition" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。