{
 "schema_version": 1,
 "generated": "2026-10-20",
 "id": "2akouwu-reverify--give-agent-verifier-tools-over-mcp",
 "repo": "2akouwu/reverify",
 "repo_url": "https://github.com/2akouwu/reverify",
 "repo_slug": "2akouwu-reverify",
 "title": "Let a coding agent call Reverify's checks through MCP",
 "page_title": "How to let a coding agent call Reverify's checks through MCP with Reverify",
 "summary": "Connect Claude Code or Cursor to Reverify's MCP tools so the agent verifies its own claims.",
 "who": "A developer using Claude Code or Cursor who wants the agent to check its binary-analysis claims with tools instead of trusting its own output.",
 "problem": "Agents assert facts about binaries in chat with no check, and they lose verified state when their context is reset.",
 "outcome": "The agent calls re_verify_claim for each claim and re_ledger after a reset, so only grounded results are reused.",
 "steps": [
  "Run `pip install reverify` to install the CLI and MCP server.",
  "Add the Reverify MCP server to your agent's MCP configuration, following your agent's MCP setup steps. (inferred, check the README)",
  "Ask the agent to verify each binary claim through re_verify_claim.",
  "After the host compacts or clears context, ask the agent to call re_ledger and continue from the returned facts."
 ],
 "agent_prompt": "Using the reverify MCP server from the repo 2akouwu/reverify, verify each claim about <target binary> with re_verify_claim and recover prior grounded facts with re_ledger after any context reset. Report which claims were VERIFIED and which were REFUTED.",
 "agents": [
  "claude-code",
  "cursor"
 ],
 "difficulty": "Advanced",
 "time": "45 minutes",
 "basis": "readme",
 "caveat": "The README names the MCP server and its tools but does not give the exact MCP configuration for each agent, so the setup step is inferred.",
 "category": "Security and science",
 "tags": [
  "Security and science"
 ],
 "lang": "python",
 "requirements": [
  "Python installed",
  "Install with pip install reverify",
  "A binary or source file you are authorized to analyze"
 ],
 "risk": "dual-use",
 "seen_in_the_wild": false,
 "mentioned_publicly": false,
 "risks": [
  {
   "tag": "reverse-engineering",
   "notice": "Use the MCP tools only on binaries you are authorized to analyze, as the README requires."
  }
 ],
 "best": false,
 "score": 0.7,
 "evidence": [],
 "url": "https://dedupedai.com/use-cases/2akouwu-reverify/give-agent-verifier-tools-over-mcp/",
 "md": "https://dedupedai.com/use-cases/2akouwu-reverify/give-agent-verifier-tools-over-mcp/index.md",
 "disclaimer": "Deduped lists open-source repositories that belong to other people. We do not own, maintain, audit, or vouch for any of them, and a repo appearing here is not an endorsement or a safety check. The use cases, steps, and prompts are written by AI and may be incomplete, outdated, or just wrong. Where a use case is marked \"Seen in the wild\", we link to public posts where someone described something similar, but we have not verified those posts and the use case itself is still our AI's own write-up. Use all of this at your own risk. Only run code, commands, or agents on systems and accounts you are authorized to use, and read the code and every command before you run it, especially anything that touches credentials, files, or the network. Nothing here is professional, security, legal, or financial advice. All trademarks and project names belong to their respective owners, and their use here does not imply affiliation. Content is provided as is, without warranties of any kind. Found a mistake, a safety problem, or something you want removed? Email hello@dedupedai.com and we will look at it promptly.",
 "api": "https://dedupedai.com/api/v1/usecases/2akouwu-reverify--give-agent-verifier-tools-over-mcp.json",
 "api_version": "v1"
}