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
18d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

ASVLCII/verified-technical-solver

Skill Claude CodeCodex

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 18d ago A 84 tokens original MIT