"author:LBurny" matching MCP servers:

• SymKit

  LBurny

  A

  license

  B

  quality

  B

  maintenance

  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.

  Updated 2 months ago (2026-07-09 14:19 UTC)

  41

  10

  Apache 2.0