Reasoning MCP Servers

202 servers in this category

Reasoning servers give a model scaffolding for hard problems: step by step planners, symbolic math, constraint solvers, and verification tools. The point is not to make the model smarter but to hand it procedures that do not fit in a context window, like exact arithmetic or systematic search.

These servers are small in number but they punch above their weight in pipelines, where an agent offloads the parts of a task that models are bad at and keeps the parts they are good at.

Top 24 right now

app.openkrill/lane-planner

official-syncmodelcontextprotocol.io

Lane Planner

Lane Planner is a planning tool for people with many interests and limited hours.

1.0.00

app.strikemission/surf-trip-planner

official-syncmodelcontextprotocol.io

Surf trip planner: live 0-100 Strike Scores, 10-day forecasts, and trip picks for 1,100+ spots.

0.1.00

app.theona/linkedin-content-planner

official-syncmodelcontextprotocol.io

LinkedIn Content Planner

Draft, revise and review LinkedIn posts; a human approves each one before it goes live.

0.1.00

app.zwier/mcp

official-syncmodelcontextprotocol.io

Zwier (Group event planner)

Plan group events together: dates, itineraries, expenses, polls, and tasks.

1.0.00

ar.mueblito/mueblito

official-syncmodelcontextprotocol.io

Diseño de muebles 3D para Argentina: cotización en ARS, despiece para la maderera y catálogo.

1.0.00

Atom of Thoughts (AoT)

official-syncmcp.so

Atom of Thoughts (AoT)

Atom of Thoughts (AoT) MCP is a server that decomposes complex problems into independent atomic units of thought, using the dependencies between these units to deliver more robust reasoning and validated insights.

0.0.00

Atom of Thoughts (AoT) MCP Server

official-syncmcp.so

Atom of Thoughts (AoT) MCP Server

Atom of Thoughts (AoT) MCP is a server that decomposes complex problems into independent atomic units of thought, using the dependencies between these units to deliver more robust reasoning and validated insights.

0.0.00

au.com.trip-planner/camping-australia

official-syncmodelcontextprotocol.io

Camping Australia

Search Australian campsites, caravan parks and free camps; weather, gear, road trips and booking.

1.4.00

auto-mcp

official-synclobehub.com

auto-mcp

Oct 11, 2026Developer SkillsLocal Service8SynapseNex-ZGithubUnvalidatedSynapse is a zero-intrusion API adapter layer that dynamically generates MCP Server endpoints from OpenAPI/Swagger documents without modifying business logic. It requires Python 3.12+ and Node.js 20+ environments. The backend uses FastAPI and the frontend is built with Vue 3 and related tools.

0.0.00

Case Chronology MCP Server

official-syncmcp.so

Case Chronology MCP Server

A Model Context Protocol (MCP) server for building and managing chronological timelines of case events. Perfect for legal professionals who need to organize complex case histories.

0.0.00

C# based Model Context Procotol (MCP) Server for ADO.NET

official-syncmcp.so

C# based Model Context Procotol (MCP) Server for ADO.NET

C# based Model Context Procotol (MCP) Server for ADO.NET ODBC provider

0.0.00

cloud.mynextadventure/trip-planner

official-syncmodelcontextprotocol.io

My Next Adventure

Create trips, compare variants side by side, and add accommodation, transport and event options.

1.0.10

Code Reasoning MCP Server

official-synclobehub.com

Code Reasoning MCP Server

Oct 21, 2026Developer SkillsLocal Service219238Excel MCP Serverzhiwei5576npmGithubAPREMIUM8Excel file processing server based on Model Context Protocol (MCP), providing functionalities for reading, writing, and analyzing Excel files. Supports environment variable configuration for log path and cache management.

0.0.00

com.beyondpayday/mcp

official-syncmodelcontextprotocol.io

Beyond Payday

Household finance planner: cash flow, net worth, bills, debts, goals, retirement.

1.0.10

com.calculiva/cut-planner

official-syncmodelcontextprotocol.io

Calculiva Cut Planner

Plans flooring, trim and wallpaper orders from computed cut layouts. Free, read-only, no account.

0.1.00

com.citywalkplan/planner

official-syncmodelcontextprotocol.io

CityWalk Plan

Free city-walk planner: day-by-day self-guided walking itineraries for 50+ cities. No sign-up.

1.0.00

com.craftquantities/engine

official-syncmodelcontextprotocol.io

Craft Quantities: construction material calculators

Construction quantities from cited calculators, takeoffs, a planner and house drawings. No prices.

1.4.00

com.doseedo/doseedo

official-syncmodelcontextprotocol.io

Doseedo

Edit DAW sessions; convert Logic/Ableton/FL/PT/REAPER/Cubase/Dorico; stems, transcribe, generate

0.14.00

com.factyz/factyz

official-syncmodelcontextprotocol.io

Factyz

Cotisations Urssaf, seuils micro et TVA, échéances : le calcul officiel pour auto-entrepreneur

1.0.00

com.financialdatapi/mcp

official-syncmodelcontextprotocol.io

Financial Data API

Point-in-time macro, central bank rates and sentiment, COT positioning, from official sources.

1.1.00

com.firenum/fire-planner

official-syncmodelcontextprotocol.io

firenum retirement planner

When can you retire? A FIRE plan from your numbers, graded by Monte Carlo and every year since 1872.

1.4.00

com.getarcresearch/arc-research

official-syncmodelcontextprotocol.io

Arc Research

Commodities research MCP: knowledge graph, COT, NG storage/weather, quotes, and stories.

1.0.00

com.getaroundhongkong/trip-planner

official-syncmodelcontextprotocol.io

Get Around Hong Kong

Hong Kong public transport trips (MTR, bus, minibus, ferry), live times, fares and border queues.

1.2.00

com.getziztu/ziztu-planner

official-syncmodelcontextprotocol.io

Ziztu Planner

Plan, write and price micro dramas and anime episodes. It does not make images, video or audio.

1.0.00

Questions about Reasoning servers

Do these make a model smarter?

They give it reliable procedures: exact calculation, formal verification, structured planning. The model still has to know when to reach for them.

Are these useful outside math?

Yes. Planning and constraint tools show up in scheduling, routing, resource allocation, and game playing agents.

Where is the full list?

Browse all shows every reasoning server in the index, filterable by transport and capability.