Related Servers

No user-submitted related servers found.

Related Servers

• mathlas

  Archerkattri

  A

  license

  A

  quality

  A

  maintenance

  Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No LLM inside, no API key.

  Updated a month ago (2026-07-25 01:10 UTC)

  12

  9

  Apache 2.0

• codecalc

  The-40-Thieves

  A

  license

  B

  quality

  A

  maintenance

  An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.

  Updated 20 hours ago (2026-08-23 03:14 UTC)

  52

  2

  Apache 2.0

• Vibe Math MCP

  apetta

  A

  license

  A

  quality

  C

  maintenance

  Provides 21 mathematical tools across 6 domains including basic calculations, array operations, statistics, financial mathematics, linear algebra, and calculus. Supports batch execution for complex multi-step workflows with intelligent dependency resolution.

  Updated 7 months ago (2026-01-11 00:03 UTC)

  21

  6

  MIT

• VICE C64 Emulator MCP Server

  simen

  F

  license

  A

  quality

  D

  maintenance

  Enables autonomous debugging of Commodore 64 programs through the VICE emulator with semantic interpretation of C64-specific data structures, memory layouts, VIC-II states, and PETSCII encoding for AI-assisted 6502 assembly debugging.

  Updated 8 months ago (2025-12-30 03:58 UTC)

  26

  1

• Congo River Compositional

  Replicant-Partners

  A

  license

  -Not graded

  quality

  -Not graded

  maintenance

  Provides tools for semantic decomposition, proof search, knowledge graph operations, and neuro-symbolic reasoning that bridges neural LLMs with symbolic AI through RDF triples, lambda calculus, and compositional intelligence principles.

  Updated 8 months ago (2025-12-23 02:07 UTC)

• Logic-Thinking MCP Server

  quanticsoul4772

  A

  license

  -Not graded

  quality

  D

  maintenance

  Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.

  Updated 10 months ago (2025-10-14 18:04 UTC)

  1

  MIT