Related Servers

No user-submitted related servers found.

Related Servers

• lean-lsp-mcp

  project-numina

  A

  license

  B

  quality

  D

  maintenance

  MCP server for agentic interaction with the Lean theorem prover via LSP, providing tools for understanding, analyzing, and interacting with Lean projects.

  Updated 6 months ago (2026-03-11 16:28 UTC)

  21

  21

  MIT

• Atom of Thoughts

  dioptx

  A

  license

  A

  quality

  D

  maintenance

  Structured reasoning MCP server that decomposes problems into atomic steps (premise, reasoning, hypothesis, verification, conclusion) with confidence scoring, live visualization, and approval feedback.

  Updated 4 months ago (2026-04-28 10:36 UTC)

  3

  90

  MIT

• prova-mcp

  insinuateai

  A

  license

  A

  quality

  D

  maintenance

  An MCP server that exposes the Prova reasoning verifier, enabling AI agents to verify their own reasoning and kernel-check Lean 4 proofs before outputting answers.

  Updated 5 months ago (2026-04-19 16:30 UTC)

  5

  MIT

• Aristotle MCP Server

  septract

  A

  license

  -Not graded

  quality

  F

  maintenance

  An MCP server that wraps Aristotle's automated theorem prover for Lean 4, allowing AI assistants to fill in proofs, verify lemmas, and formalize natural language into Lean code.

  Updated 6 months ago (2026-03-05 18:47 UTC)

  13

  MIT

• math-logic-mcp

  ismailkerimov

  A

  license

  A

  quality

  D

  maintenance

  MCP server that gives small LLMs verified symbolic-math & logic tools.

  Updated 7 months ago (2026-02-20 12:40 UTC)

  6

  1

  Apache 2.0

• xrad

  narimannemo

  A

  license

  -Not graded

  quality

  A

  maintenance

  Provides an MCP server for storing and querying knowledge as verifiable claims, enforcing evidence-backed assertions with exact quotes and refusing paraphrases or unsupported relations.

  Updated a month ago (2026-08-05 14:30 UTC)

  Apache 2.0