ASVLCII/verified-technical-solver
MCP server Claude CodeCodexCursor +2
MCP server "verified-technical-solver" as configured in ASVLCII/verified-technical-solver. Runs scripts/server.py with python.
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…