symkit
MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
- Score
- 56.1831 signal
- Evidence
- 10 stars
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- chiasmus213 stars · 11 forks92.230
- mathematica-mcp48 stars · 6 forks83.876
- mathematica-mcp-server24 stars · 6 forks78.908
What it is
MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
When to use it
MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.