N/A

LBurny/SymKit

mcp agent Offline

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.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know