Reverify
Reverify is an MCP server that adds developer tools to AI assistants such as Claude Desktop, Claude Code and Cursor. Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. It has 1,257 GitHub stars, is released under the MIT license and runs locally with uvx reverify.
- Developer tools
- MIT
- Actively maintained
Install Reverify
Generated from the server's published package. Replace your-value with your own values.
Claude Desktop
{
"mcpServers": {
"reverify": {
"command": "uvx",
"args": [
"reverify"
]
}
}
}Settings > Developer > Edit Config. macOS: ~/Library/Application Support/Claude/, Windows: %APPDATA%\Claude\. Restart Claude Desktop afterwards.
Claude Code
claude mcp add --transport stdio reverify -- uvx reverifyCursor
{
"mcpServers": {
"reverify": {
"type": "stdio",
"command": "uvx",
"args": [
"reverify"
]
}
}
}Project file; use ~/.cursor/mcp.json to enable it in every project.
VS Code
{
"servers": {
"reverify": {
"type": "stdio",
"command": "uvx",
"args": [
"reverify"
]
}
}
}Config formats checked against the official docs on Oct 7, 2026: modelcontextprotocol.io (opens in a new tab), code.claude.com (opens in a new tab), cursor.com (opens in a new tab), code.visualstudio.com (opens in a new tab).
About Reverify
Stop your AI from making things up. It proposes; deterministic tools check every claim against ground truth, and only what's verified counts.
- ai-agents
- developer-tools
- binary-analysis
- ctf
- disassembler
- malware-analysis
- mcp
- reverse-engineering
- ai
- hallucination
Similar MCP servers
More developer tools MCP servers
Gemini CLI
google-gemini/gemini-cli
An open-source AI agent that brings the power of Gemini directly into your terminal.
Developer toolsTypeScriptFront-End Checklist
thedaviddias/Front-End-Checklist
Review frontend code and live pages against 386 quality-gated web development rules.
Developer toolsMDXClaude Flow
ruvnet/ruflo
AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.
Developer toolsTypeScriptCodebase Memory
DeusData/codebase-memory-mcp
Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
Developer toolsCBytedance Filesystem
bytedance/UI-TARS-desktop
MCP server for filesystem access.
Developer toolsTypeScriptGitHub
github/github-mcp-server
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
OfficialDeveloper toolsGo
What is Reverify?
Reverify is an MCP server that adds developer tools to AI assistants such as Claude Desktop, Claude Code and Cursor. Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. It has 1,257 GitHub stars, is released under the MIT license and runs locally with uvx reverify. The source code is at github.com/2akouwu/reverify.
How do I install the Reverify MCP server?
Add the command uvx reverify to your MCP client: put it in claude_desktop_config.json for Claude Desktop, run claude mcp add for Claude Code, or add it to .cursor/mcp.json (Cursor) or .vscode/mcp.json (VS Code). The snippets on this page are ready to paste.
Is Reverify free?
The server is open source under the MIT license, so running it is free. It does not declare any required API key.
Is Reverify actively maintained?
The most recent commit was on Sep 7, 2026. The latest release is v0.11.0, published Sep 4, 2026. appsgit only lists MCP servers with a commit in the last six months and re-checks every server daily.