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,315 GitHub stars, is released under the MIT license and runs locally with uvx reverify.
github.com/2akouwu/reverify (opens in a new tab)
Data as of from the GitHub API; description from the project's repository. Report an error
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
Sceneview
sceneview/sceneview
3D & AR SDK for Android, iOS, Web — API docs, samples, validation, and code generation.
Active · last commit Oct 23, 2026
Developer toolsKotlinDeja Vu
vshulcz/deja-vu
deja-vu: local memory over the session histories of forty-three coding agents.
Active · last commit Oct 26, 2026
Developer toolsGoAgent Harnesses
RyanAlberts/best-of-Agent-Harnesses
Agent-harness picks, decision guides, setup templates, and skills; live GitHub/HN discovery.
Active · last commit Oct 25, 2026
Developer toolsPythonCoding Tools MCP
xyTom/coding-tools-mcp
Give any AI agent the ability to code.
Active · last commit Oct 17, 2026
Developer toolsPythonHarness
autonomous-ai/openharness
Start Claude Code and Codex agents the person can watch, wait for them and read their answers.
Too new to judge · created Aug 4, 2026
OfficialDeveloper toolsTypeScriptToken Savior
Mibayy/token-savior
Structural codebase MCP server with persistent memory: navigate by symbol, recall across sessions.
Active · last commit Oct 15, 2026
Developer toolsPython
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.