"author:ismailkerimov" matching MCP servers:

• math-logic-mcp

  ismailkerimov

  A

  license

  A

  quality

  D

  maintenance

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

  Updated 6 months ago (2026-02-20 12:40 UTC)

  6

  2

  Apache 2.0