Reasoning & Planning

Plan Version Control (PVC) MCP Server — Git-like version control for AI agent decision tracking

MCP server for Prova — let any AI agent verify its own reasoning before answering.

A Jira-lite MCP server that guides planning-first workflows for AI-assisted development.

Measured spatial answers for posing first-person arms and a rifle in Blender

MCP server for PlanNexus — query UK planning-application data from Claude, ChatGPT or any MCP client.

MCP server for intelligent planning and task management

Waze for AI agents — plan, track, and learn from software projects. 3 tools, one job each.

MCP Agent Implementation for Sequential Thinking

An MCP server implementing the think tool for Claude and other LLMs

An MCP server implementing the think tool for Claude and other LLMs

Keeps AI coding agents' plan and design markdown managed and versioned, for Claude Code and Codex.

Plan trips with friends — mood-based destination search, live destination briefs (weather + safety), real Google-rated top spots with photos, and day-by-day itineraries.

SWI-Prolog as a logic calculator for LLMs

Planning AI. Sprint estimation, task breakdown, risk analysis. Learns your velocity.

MCP server for Anthropic's Claude Fable, Opus 5, and multi-model reasoning councils.

Multi-level reasoning MCP server with configurable depth levels

A multi-parent goal graph where value propagates, so what more things depend on ranks higher

Persistent knowledge system with OWL-RL reasoning and 22 MCP tools. Local-first.

Evidence-gated verification, selection, and measurement MCP for coding agents.

Caller-side T1/T2 heterogeneous validation MCP server. Stdlib-only Python.