An MCP server and CLI that checks an AI agent's claims about binaries and code against deterministic tools, returning verified or refuted verdicts with evidence and a durable fact ledger.
1327ai-agents,developer-tools,binary-analysisAn MCP server and CLI that checks an AI agent's claims about binaries and code against deterministic tools, returning verified or refuted verdicts with evidence and a durable fact ledger.