A
licenseNot graded
qualityC
maintenanceProvides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result.
MIT
Matching MCP tools:
Matching MCP Connectors:
io.github.oswarld
cloud.tri2b
io.github.pipeworx-io
io.github.Vonage