lburny/symkit-mcp
It is an MCP server that lets AI agents perform step-by-step symbolic derivations: calculate, transform, verify, and store formulas with full provenance, all through conversation.
- Stars
- 12
- Gained, 7 days
- 0
- Gained, 30 days
- n/a
- Reddit posts
- 1
Python · Apache-2.0 · last push 2026-09-17 · created 2026-07-08
GitHub stars, last 90 days
Does it work with local models?
Reports from people who ran it with a model on their own hardware. Tool calling depends on the model as much as on the server, so say which model and quant you used.
No reports yet.
Add your report
Sign in to say whether it worked for you.
Reddit posts linking it
- SymKit MCP: symbolic derivation your AI agent can actually verifyr/mcp · 2026-09-11
In the official MCP registry
No registry entry points at this repository, so how it runs is not listed here. Check its README.