Plugin marketplace

math-first

Math First: before writing code, find the mathematical object the problem really is, and make the math the spec.

0 · nagisanzenin/math-first1 pluginMITupdated 15 days ago

Add this marketplace

Then install any plugin below by name — each page has its exact command.

math-first

claudecodex

Design discipline for coding agents: name the mathematical object before writing code, make the math the spec, borrow models from the sciences, measure where you are and the null, build the smallest thing that meets the bound, and prove it holds. Includes a stdlib-only exact-statistics CLI.

1 skill

0

README badge

Shows how many plugins this repo ships, and links here.

claude & codex pluginslisted