"author:ismailkerimov" matching MCP servers:

• math-logic-mcp

  ismailkerimov

  A

  license

  A

  quality

  C

  maintenance

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

  Last updated 2026-02-20

  6

  1

  Apache 2.0