Back to search
30
MCP

math-logic-mcp

pypi/math-logic-mcp

MCP server providing verified math & logic tools for small LLMs (Mistral, Llama, DeepSeek)

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

forchaladtest/mcp-math-server
Simple MCP server for basic mathematical operations.
0 tools
discrete-structures-mcp
MCP server for Discrete Mathematics: Boolean Logic, Algorithms, Number Theory, Cryptography. 21 AI-ready tools for education and research.
0 tools
math-mcp-server-testing
MCP server for mathematical calculations
0 tools
matlab-simulink-mcp
An MCP server for allowing LLMs to interact with MATLAB and Simulink
0 tools
math-mcp-learning-server
Educational MCP server for math operations, statistics, visualization, and persistent workspaces. Built with FastMCP.
0 tools
logic-lm-mcp-server
A Model Context Protocol server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "math-logic-mcp": {
      "url": "None",
      "transport": "http"
    }
  }
}