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 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…