Anubis

Proofload is a system for generating printable mechanical parts from a text description and optional sketch with a specified load. Muse Glimmer 30B writes a parametric CAD program through narrow tool calls and cannot run code. Real finite element analysis runs with CadQuery, a gmsh tet10 mesh and CalculiX. Glimmer inspects the stress image and numbers, edits the structure, and repeats up to 16 turns. Deterministic sizing tunes dimensions. Certification requires a deterministic verifier with 11 gates. The model can never declare a part safe. Output includes STL, STEP, print orientation from through-layer stress and a certificate with every number. The verifier can be re-run with the model off. The project targets people who need a printed bracket, hook or mount but have no simulation software and no engineer. Open weights on plain CPUs can keep drawings in house. Everything is simulated, not physically tested. A pre-registered benchmark of 12 unseen parts is in the repo, but it was not run before the deadline, so no benchmark results are claimed.