Related Servers

• PDDL MCP Server

  NBNBTM

  A

  license

  B

  quality

  A

  maintenance

  A planning server that enables natural language to PDDL conversion, automatic problem generation, and batch task execution using the Fast Downward planner. It supports multi-robot coordination and provides detailed reporting and diagnostic capabilities for complex planning tasks.

  Updated 19 days ago (2026-08-31 13:15 UTC)

  4

  5

  MIT

Related Servers

• geomed_copilot

  jianghongcheng

  A

  license

  A

  quality

  B

  maintenance

  Enables LLM-driven tool execution with policy-gated authorization, deterministic verification, and replay for radiographic measurement and SQL repair tasks.

  Updated 11 days ago (2026-09-09 01:13 UTC)

  3

  MIT

• Elite Reasoning MCP

  Snehgabani

  A

  license

  B

  quality

  A

  maintenance

  A 66-tool reasoning pipeline that intercepts prompts to classify intent, check past mistakes, and generate execution plans, enabling any LLM to think harder and avoid repeating errors.

  Updated 21 days ago (2026-08-29 13:40 UTC)

  3

  1

  MIT

• prolog-reasoner

  rikarazome

  A

  license

  A

  quality

  D

  maintenance

  SWI-Prolog execution for LLMs with CLP(FD) and recursion — boosts logic/constraint accuracy from 73% to 90% on a 30-problem benchmark.

  Updated 5 months ago (2026-05-01 20:51 UTC)

  5

  11

  MIT

• Hyperstack

  orkait

  F

  license

  B

  quality

  A

  maintenance

  A 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.

  Updated 16 days ago (2026-09-03 22:23 UTC)

  118

  1

  -

• Task Agent MCP

  yerramsettianish0427

  A

  license

  -Not graded

  quality

  D

  maintenance

  An autonomous task decomposition and execution agent that plans, executes, verifies, and commits code changes for engineering goals.

  Updated 3 months ago (2026-06-24 16:24 UTC)

  MIT

• embodied-mcp

  aryanmangal769

  A

  license

  A

  quality

  B

  maintenance

  Enables a language model to perceive a robot's surroundings, navigate to referenced objects, count instances, and stop when finished, via tools for viewing, grounding, driving, and counting.

  Updated 9 days ago (2026-09-10 17:06 UTC)

  8

  1

  MIT