Last released Feb 20, 2026
MCP server providing verified math & logic tools for small LLMs (Mistral, Llama, DeepSeek)
Supported by