Skill Claude CodeCodex
Add a new runtime guarantee, safety property, or feature to Blaze the theorem-with-test way — attacking concurrent test first, then implementation, then the README claims table. Use whenever the user asks to add, harden, or make safe any runtime behavior (limits, isolation, EditClass semantics, metrics, canary policy…
Skill Claude CodeCodex
Run Blaze's benchmark suite (reload latency, call throughput, interpreter comparison, canary overhead) and update every performance number in the README honestly and machine-labeled. Use when the user asks about performance, "how fast is it", re-measuring, updating benchmark or README numbers, preparing…
Skill Claude CodeCodex
Add a language feature to Blaze — a token, operator, statement, control-flow form, or type — through the full seven-station pipeline with the diagnostics gate kept in lockstep with the lowerer. Use whenever the user asks for new syntax or semantics ("add strings", "support for-loops", "a modulo operator", "explicit…
Skill Claude CodeCodex
Run Blaze's full green gate — workspace tests, clippy, and the asserted demo stories — and triage any failure by subsystem. Use before every commit, after any change under blaze-/src, tests, or examples, whenever the user asks "is it green", "run the tests", "check everything", and at the end of any task that touched…
Instructions file
Claude Code instructions for grloper/Blaze, covering claude.md, what this is, commands, architecture (the big picture) and invariants you must not break.