Verified Technical SolverDeveloper ToolsASVLCIIAlicense-qualityCmaintenanceProvides deterministic tools for symbolic math, equation solving, relation verification, reasoning structure audits, and validated CAD primitives, returning evidence artifacts for every result. Updated 15 hours ago (2026-08-16 17:08 UTC)MIT