1. Conduid
  2. AI
  3. Math Logic MCP
MCP server · AI

Math Logic MCP

by · github.com/ismailkerimov/math-logic-mcp

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

Unclaimed Custom license last commit 8 months ago ai
InstallView source
56Fair

Scored 5 months ago · breakdown

About Math Logic MCP

Math Logic MCP is an MCP server published by ismailkerimov in the AI category: mCP server that gives small LLMs verified symbolic-math & logic tools.

The repository has 2 stars and 1 forks, with the last commit 8 months ago. Six months or more without a commit doesn't mean the server is broken, but check the open issues before depending on it in production.

Install

From source
git clone https://github.com/ismailkerimov/math-logic-mcp

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (6)

check_logicSAT / tautology / truth tables

Parameters not published.

compute_derivativeDifferentiation

Parameters not published.

compute_integralIntegration

Parameters not published.

simplify_expressionSimplify / factor / expand

Parameters not published.

solve_equationSymbolic equation solving

Parameters not published.

verify_arithmeticSafe arithmetic evaluation

Parameters not published.

Ask AI

✦

Ask AI about Math Logic MCP

Powered by Claude · Grounded in docs

I know everything about Math Logic MCP. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

Static checks derived from the repository 4 days ago. Heuristics on the source, not an audit.

  • ✓README presentThe repository ships documentation.
  • ✓License declaredUsable under a stated license.
  • ✓Tests presentA test suite exists in the repository.
  • !Dependencies pinnedNo lockfile. Installs can pull different code over time.
  • !No dynamic code executionSource scan found eval or shell execution. Review how tool inputs reach it before granting credentials.
  • !Scoped permissionsDoesn't declare a permission scope. Assume it can do anything its process can.

README

math-logic-mcp

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

PyPI License

Small language models (Mistral, Llama, Phi, Gemma) struggle with multi-step math and formal logic. Instead of fine-tuning, give them tools. This project exposes a set of verified math and logic solvers via the Model Context Protocol (MCP), so any MCP-compatible LLM can call them as functions.

Features

Tool What it does Backend
verify_arithmetic Safe arithmetic evaluation Python stdlib (zero deps)
solve_equation Symbolic equation solving SymPy (optional)
simplify_expression Simplify / factor / expand SymPy (optional)
compute_derivative Differentiation SymPy (optional)
compute_integral Integration SymPy (optional)
check_logic SAT / tautology / truth tables Z3 (optional)

Every result includes proof steps and verification — the LLM gets a machine-checked answer, not a guess.

Quick Start

Install from PyPI

pip install math-logic-mcp

Install (full — all solvers)

pip install "math-logic-mcp[full]"

Run the MCP server

# stdio transport (for Claude Desktop, Cursor, etc.)
math-logic-mcp

# HTTP/SSE transport (for remote clients)
math-logic-mcp --http

Configure in Claude Desktop

Add to ~/Library/Application Support/Claude/claude_desktop_config.json:

{
  "mcpServers": {
    "math-logic": {
      "command": "math-logic-mcp"
    }
  }
}

Configure in Cursor

Add to .cursor/mcp.json:

{
  "mcpServers": {
    "math-logic": {
      "command": "math-logic-mcp"
    }
  }
}

Use as a Python Library

from math_logic import MathLogicEngine

engine = MathLogicEngine()

# Arithmetic (always available)
result = engine.solve("compute 2 + 3 * 4")
print(result.solutions)  # ['14']

# Algebra (requires sympy)
result = engine.solve("Solve x^2 - 4 = 0")
print(result.solutions)  # ['x = -2', 'x = 2']

# Logic (requires z3-solver)
result = engine.solve('Check satisfiability of "p and q"')
print(result.solutions)  # ['Satisfiable: p=True, q=True']

Architecture

LLM ─── MCP Protocol ──▶ mcp_server.py
                              │
                          engine.py  (router → solver → result)
                              │
              ┌───────────────┼───────────────┐
              ▼               ▼               ▼
     ArithmeticSolver   SymPySolver      Z3Solver
      (zero deps)       (pip: sympy)    (pip: z3-solver)

The router classifies each problem by regex patterns and routes to the best available solver. Solvers are loaded lazily — if SymPy isn't installed, algebra problems gracefully report the missing dependency.

Installation Extras

Extra What it adds Install size
(none) Arithmetic only ~1 MB
[sympy] + algebra, calculus, simplification ~50 MB
[z3] + propositional logic, SAT ~30 MB
[full] Everything ~80 MB
[dev] + pytest, ruff ~85 MB 
pip install "math-logic-mcp[sympy]"      # algebra + calculus
pip install "math-logic-mcp[z3]"         # logic
pip install "math-logic-mcp[full]"       # everything
pip install "math-logic-mcp[full,dev]"   # everything + dev tools

Development

git clone https://github.com/ismailkerimov/math-logic-mcp.git
cd math-logic-mcp
pip install -e ".[full,dev]"
pytest tests/ -v

Docker

docker build -t math-logic-mcp .
docker run -p 8080:8080 math-logic-mcp

License

Apache 2.0 — see LICENSE.

README fetched from the repository 4 days ago. The original is authoritative.

Questions

About Math Logic MCP

How do I install Math Logic MCP?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Math Logic MCP safe to use with an AI agent?

Its trust score is 56 out of 100 (fair). It passes 3 of the 6 static security checks run so far; the failures are listed above. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Math Logic MCP still maintained?

The last commit was 8 months ago. That's long enough that you should check whether the maintainer is responding to issues before depending on it.