ismailkerimov/math-logic-mcp

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

2Stars on the repository
1Mods indexed here, across every type
8mo agoLast push, which is what freshness is scored on
customA LICENSE file GitHub cannot name, so bodies are not copied

math-logic

01

ismailkerimov/math-logic-mcp

MCP server Claude CodeCodexCursor +2

MCP server "math-logic" as configured in ismailkerimov/math-logic-mcp. Launched with math-logic-mcp.

not rated 2 8mo ago A tokens not measured