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.
Python Updated 22 days ago 1 commits 12 stars
nova-coder|Mirror: LBurny/symkit-mcp (⭐12)
22 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
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.
Readme
12 stars