A
licenseA
qualityD
maintenanceMCP server that gives small LLMs verified symbolic-math & logic tools.
6
2
Apache 2.0
Matching MCP tools:
Matching MCP Connectors:
io.github.clouatre-labs
network.capability
io.github.PanStories
dev.workers.seob5285.stateless-math-worker