Search for a command to run...
1 MCPs · 0 installs total
MCP server that gives small LLMs verified symbolic-math & logic tools.
Unyly