← 返回
lburny
2 MCPgithub ↗
// 全部资产
MCP 工具
SymKit
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.
—装→
MCP 工具
py-spy MCP Server
MCP server for profiling Python processes using py-spy, supporting flamegraphs, stack dumps, and performance comparisons.
—装→