Overthink
This server does not currently have a deployable release on Glama. Follow the repository's setup instructions to install and configure it for your MCP client, including any required credentials and local dependencies.
What is this?
Overthink is a Model Context Protocol (MCP) server that adds real engineering discipline to AI coding agents.
It is not another LLM.
It is a control layer that forces the agent to:
Triage first
Investigate with evidence
Take one useful action at a time
Avoid loops and side-paths
Verify before claiming success
Finish on time
It works with any MCP-compatible client, but it is purpose-built for Heinrich AI.
What is Heinrich AI?
Heinrich AI is a VS Code / Cursor extension that turns AI coding agents into disciplined engineers.
The Heinrich logo represents the product — a focused, no-nonsense AI coding companion that prioritizes finishing real work over endless reasoning.
Overthink is the intelligence backend that powers Heinrich’s strict workflow.
Stay tuned with Heinrich AI →
Follow Heinrich AI on LinkedIn
Related MCP server: Task Agent MCP
Why Overthink?
Even the strongest models still fail at process:
Common failure | What Overthink does |
Endless reasoning without progress | Fast triage + time boxes |
Over-planning simple tasks | Proportional reasoning (L0–L3) |
Repeated searches & explanations | Action Guard + progress tracking |
Fixing symptoms instead of root causes | Diagnosis engine + evidence levels |
Claiming success without tests | Mandatory verification gate |
Unnecessary refactors & side-paths | Hard blocks on waste patterns |
How to connect Overthink MCP to Heinrich AI
1. Install & build Overthink
git clone https://github.com/missarii/overthink.git
cd overthink
npm install
npm run build2. Get the absolute path to the server
After building, the entry point is:
/absolute/path/to/overthink/dist/index.jsExample (macOS / Linux):
echo "$(pwd)/dist/index.js"3. Configure Heinrich AI / VS Code / Cursor
Open your MCP settings (Heinrich AI settings, or Cursor/VS Code MCP config) and add:
{
"mcpServers": {
"overthink": {
"command": "node",
"args": ["/absolute/path/to/overthink/dist/index.js"]
}
}
}Replace
/absolute/path/to/overthink/dist/index.jswith the real path from step 2.
4. Restart the client
Restart Heinrich AI / Cursor / VS Code so it picks up the new MCP server.
5. Verify it is connected
In the agent chat you should see the Overthink tools available:
overthink_startoverthink_guardoverthink_next_actionoverthink_check_progressoverthink_verifyoverthink_finish…and the rest
Heinrich AI will automatically prefer the forced workflow defined in the heinrich-rules resource.
Alternative: HTTP mode
If you prefer HTTP transport:
npm run start:http
# → http://127.0.0.1:3921/mcp
# Health check: http://127.0.0.1:3921/healthThen configure the client to use the HTTP endpoint (if the client supports Streamable HTTP).
Architecture
AI Coding Agent (Heinrich AI / Cursor / Claude Code / …)
↓
┌─────────────────────────────────────────────────────────┐
│ OVERTHINK MCP SERVER │
│ │
│ • Fast Triage • Action Guard │
│ • Reasoning Engine • Investigation Engine │
│ • Planning Engine • Diagnosis Engine │
│ • Execution Engine • Verification Engine │
│ • Progress Tracker • Budget Controller │
└─────────────────────────────────────────────────────────┘
↓
Evidence-backed result · Minimal changes · Short reportMCP Tools (full list)
Tool | When to use | What it does |
| Always first | Fast triage, complexity, reasoning level, time box, budgets, hard limits |
| Before risky commands | Blocks sleep, installs, scrapers, whole-repo finds, full suites, side-paths |
| When gathering evidence | Targeted evidence only (no broad scanning) |
| After observations | Ranked hypotheses — never treats guesses as facts |
| When a plan is needed | Short proportionate plan based on reasoning level |
| After start / between steps | Single best next action under time pressure |
| After every action | Detects similar actions, fail-loops, stagnation → can force stop |
| Before claiming done | Only accepts real executed test/build results |
| At the end | Concise completion report |
Resources (rules injected into the agent)
URI | Purpose |
| Core discipline policy (time + loop rules) |
| Heinrich mandatory workflow (forced tool order + finish bias) |
| Root-cause diagnostic method |
Reasoning levels
Level | Typical tasks | Behavior |
L0 | Label, color, typo, one-liner | Direct change, no formal plan |
L1 | Normal bug / small feature | Focused investigation, few files |
L2 | Multi-file / non-trivial | Short structured plan |
L3 | Architecture, security, outages | Deep but still bounded |
Fast triage & budgets
On every overthink_start the server runs fast triage to detect the failure class (asset path, UI/copy/style, logic error, etc.) and applies a time box.
Default budgets (editable in policies/default.yaml):
Complexity | Max actions | Max retries | Planning | Investigation |
simple | 4 | 1 | 5 s | 10 s |
normal | 6 | 2 | 8 s | 15 s |
complex | 12 | 3 | 20 s | 40 s |
critical | 18 | 3 | 30 s | 60 s |
Simple UI/asset tasks are automatically tightened further.
Action Guard — what gets blocked
The guard actively prevents common time-wasters:
sleep NDrive-by package installs (
npm install,pip install, …)Heavy browser automation just to check a simple UI issue
Unbounded
find /or deep whole-repo searchesRunning the entire test suite before a focused check
Infra commands (Docker, kubectl, Terraform) unless the task is actually infra
Redesign / rewrite / migrate on pure UI or image tasks
Near-duplicate actions are also blocked to kill fail-loops.
Example workflow
User: POST /api/auth/login returns HTTP 500
1. overthink_start
→ complexity: normal · level: L1 · time_box applied · hard limits set
2. overthink_next_action
→ single primary action (inspect auth route + recent error)
3. overthink_guard ← before any risky shell command
4. overthink_investigate / overthink_diagnose
→ targeted evidence + ranked hypotheses
5. overthink_check_progress ← after every step
→ detects similar/fail_loop → can force_stop
6. Apply minimal fix
7. overthink_verify ← only real test/build results
8. overthink_finish
→ short verified reportConfiguration
Policies live in policies/ (YAML):
File | Style |
| Strict — full budgets + anti-loop |
| Lighter adaptive coding defaults |
| Investigation-focused |
Edit these files to change behaviour.
Project structure
overthink/
├── heinrich-logo.png # Heinrich AI official logo
├── src/
│ ├── overthink-logo.png # Overthink official logo
│ ├── index.ts # Entrypoint (stdio / HTTP)
│ ├── server.ts # MCP server + tools + resources
│ ├── core/ # Task manager, triage, guard, budgets…
│ ├── engines/ # Reasoning, investigation, diagnosis…
│ ├── tools/ # MCP tool implementations
│ ├── resources/
│ │ ├── core-policy.txt
│ │ └── heinrich-rules.txt
│ └── types/
├── policies/
│ ├── default.yaml
│ ├── coding.yaml
│ └── debugging.yaml
├── package.json
└── README.mdSafety guarantees
Never auto-deletes user data
Never claims success without evidence
Respects workspace boundaries
No silent dependency or config changes
Explicit tool permissions via MCP
Hard blocks on wasteful and off-path actions
License
MIT © 2026 missarii
Tool Schema Changelog
Recent tool additions, removals, and schema changes observed during successful MCP inspections.
Loading tool schema changelog…
This server cannot be deployed
Maintenance
Related MCP Connectors
AI-powered spec-to-task decomposition and execution orchestration for coding agents.
Evidence-backed project memory and checkpoints for AI coding agents.
Codebase intelligence for agents: 152 structured artifacts across 21 programs, one call.
Source-backed prompting and coding-agent guidance with provenance and freshness checks.
Related MCP Servers
- AlicenseBqualityBmaintenanceA disciplined engineering harness for AI coding agents that provides ground-truth MCP tools and adversarial enforcement skills to transform generic LLMs into high-precision engineers.1181MIT
- AlicenseNot gradedqualityDmaintenanceAn autonomous task decomposition and execution agent that plans, executes, verifies, and commits code changes for engineering goals.MIT
- AlicenseNot gradedqualityBmaintenanceEnforces structured, evidence-guided software engineering tasks with cognitive actions (investigate, plan, verify, remember) and persistent state for LLM-based coding agents.1MIT
- AlicenseAqualityBmaintenanceMechanical write gates, evidence receipts, and adversarial review for AI coding agents. Fable Mode enforces a Think → Prove → Attack → Write workflow before an agent earns permission to edit a workspace.1436 PyPI26MIT