$ loading_
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.
复制安装指令，让 AI 自动完成配置 · 推荐新手
"SymKit" 暂无可直接复制的安装信息，请查看页面文档或源码仓库。