ASVLCII/verified-technical-solver

Deterministic math, auditable reasoning checks, and dimensioned parametric CAD for AI agents.

0Stars on the repository
2Mods indexed here, across every type
2mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

ASVLCII/verified-technical-solver

Skill Codex

Solve and verify mathematical, logical, engineering, and dimensional CAD problems with deterministic tools and explicit evidence. Use for arithmetic, algebra, calculus, equation systems, quantitative claims, difficult multi-step questions, reasoning audits, unit-sensitive engineering work, parametric 3D parts…

not rated 0 2mo ago A 84 tokens original MIT