Explore
MCP servers and skills: search, filter by where they run, and compare.
MCP servers and skills: search, filter by where they run, and compare.
MCP server that exposes SymPy's symbolic mathematics functionality
PythonMITFew starsNo key
An Elixir-based MCP (Model Context Protocol) server that provides symbolic mathematics capabilities using SymPy.
SkillMITFew starsNo key
A deterministic tool-calling framework for small LLMs. Integrates SymPy and sandboxed Python to achieve better accuracy/latency without massive parameter counts.
SkillApache-2.0Few starsNo key
Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification harness.
PythonApache-2.0★ 4Few starsNo key
🚀 Fermat MCP: The Ultimate Math Engine - Unifying SymPy, NumPy & Matplotlib in one powerful server! Perfect for devs & researchers.
SkillMIT★ 21No key
Token-efficient exact math for AI agents (SymPy + NumPy): symbolic engine, ODE suite, optimizer, code generator.
PythonMIT★ 7No key
An automated mechanics derivation tool for tensor analysis — coupling LLM reasoning with Computer Algebra Systems (CAS) for journal-quality tensor theory derivation.
SkillMIT★ 6No key
AXIOM — Mathematical Reasoning Engine: One MCP for mathematical computation, exploration, and independent verification.
PythonMITFew starsNo key
A versatile MCP Server providing advanced scientific calculator functions. Supports arithmetic, algebra, trigonometry, logarithms, exponentials, and statistical operations. Designed for reproducible w
SkillMIT★ 3Few starsNo key
让 AI 与人类一起攻克真正的科学难题 —— 12 阶段 55 门 · 36 工具 · 98 条技能 · 证据链与可复现
SkillMIT★ 92No key
Multi-agent AI math tutor with LangGraph orchestration, MCP tool servers, Gemini Vision, and a premium React UI — built for students.
SkillMIT★ 2Few starsNo key
MCP server providing symbolic mathematics for Cursor AI and Claude Desktop. Solve equations, compute derivatives/integrals, simplify expressions, and visualize data using SymPy and SciPy.
PythonMIT★ 5No key
Token-efficient code navigation for AI coding agents — SCIP-backed MCP server (MIT)
SkillMIT★ 8No key
Modular Mathematics Toolkit MCP Server: 111 tools that give LLMs exact math instead of hallucinated guesses. Routes calculations through SymPy/NumPy/SciPy for provably correct results. 7 modular packa
SkillMITFew starsNo key
SkillApache-2.0★ 8No key
TokenMaster makes AI coding agents understand your codebase once and remember it - up to 7.8x fewer tokens.
SkillMIT★ 3Few starsNo key
Secure, unit-aware scientific computing MCP server for engineering and science
PythonMITFew starsNo key
MCP server for symbolic regression — discover formulas from data, simplify expressions, check equivalence
PythonMITFew starsNo key
Claude Code skills for academic research support: paper review, bibliography verification, literature surveying, head-to-head paper comparison, and HPC experiment campaigns.
SkillMIT★ 5No key
A MCP-based solver for equations and other mathematical tasks.
SkillMIT★ 1Few starsNo key
Experiments with agentic AI frameworks (LangGraph) — building and verifying LLM-driven agents
SkillApache-2.0★ 1Few starsNo key
Who stands behind it
