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.
4 files for GitHub Copilot, Codex, OpenCode and Claude Code: symkit-mcp copilot-instructions.md, symkit-mcp AGENTS.md, symkit-mcp CLAUDE.md, sandbox-experiment — 3,916 tokens loaded in every session.
.github/copilot-instructions.md A 419 tok AGENTS.md A 2,631 tok CLAUDE.md A 866 tok .agents/skills/sandbox-experiment/SKILL.md A 213 tok These files are LBurny/symkit-mcp's own configuration — they tell GitHub Copilot, Codex, OpenCode and Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.