reverify

MCP server by 2akouwu · ★ 1.3k · updated 12 days ago

Reasoning & PlanningMaintained

Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.

Install reverify

Choose your AI client and copy the config.

Install / run command from the README. Client configuration depends on the project — see its README.

pip install reverify        # pure-Python core; or "reverify[full]" for capstone+unicorn+lief
Before you install: Install command taken from the project README. The README mentions API keys or tokens — you'll likely need to add them as environment variables ("env") in the config.

Related Reasoning & Planning servers

Sequential Thinking (official reference server)

by modelcontextprotocol · TypeScript

Provides a tool for dynamic, reflective problem-solving: break problems into steps, revise thoughts, and branch into alternative reasoning paths.

Reasoning & PlanningOfficialMaintained91.2k (repo)

mcp-sequential-thinking

by arben-adm · Python

Local MCP work notes with persistent sessions, decisions, evidence and resumable tasks.

Reasoning & PlanningMaintained955

mcp-sequentialthinking-tools

by spences10 · TypeScript

🧠 An adaptation of the MCP Sequential Thinking Server to guide tool usage. This server provides recommendations for which MCP tools would be most effective at each stage.

Reasoning & PlanningMaintained587

vibe-check-mcp-server

by PV-Bhat · TypeScript

Vibe Check is a tool that provides mentor-like feedback to AI Agents, preventing tunnel-vision, over-engineering and reasoning lock-in for complex and long-horizon agent workflows. KISS your over-eager AI Agents goodbye! Effective for: Coding, Ambiguous Tasks, High-Risk tasks

Reasoning & PlanningMaintainedRemote502

An advanced sequential thinking process using a Multi-Agent System (MAS) built with the Agno framework and served via MCP.

Reasoning & PlanningMaintained305