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.
Instructions file GitHub Copilot
Instructions for LBurny/symkit-mcp, covering copilot custom instructions, development philosophy, governance, architecture principles and python environment (uv preferred).
Instructions file CodexOpenCode
Instructions for LBurny/symkit-mcp, covering agents.md, repository purpose, major directories, build / test / lint commands and architecture boundaries (ddd).
Instructions file
Instructions for LBurny/symkit-mcp, covering claude.md - claude code project guide, project overview, core tools, usage patterns and stateless quick calculation.