formal methods instructions

fizzbee-io/fizzbee

Instructions file GitHub Copilot

Instructions for fizzbee-io/fizzbee, covering fizzbee model-based testing (mbt), installation, workflow, scaffold commands and language feature support.

fizzbee-io/fizzbee

Instructions file GitHub Copilot

Instructions for fizzbee-io/fizzbee, covering fizzbee specification language, installation & running, file structure, optional yaml frontmatter and core language.

fizzbee-io/fizzbee

Instructions file

Instructions for fizzbee-io/fizzbee, covering claude code instructions for fizzbee, build commands, important guidelines, testing and running the test suite.

morluto/jacobian

Instructions file CodexOpenCode

Instructions for morluto/jacobian, covering jacobian agent guide, what we are building, non-negotiable boundaries, implement mathematics directly and mathematical boundedness is a proof obligation.

aretta-ai/aristo

Instructions file

Instructions for aretta-ai/aristo, covering claude.md — aristo working agreement, §1. commit size — small or medium only, §2. commit messages — semantic / conventional, §3. changelog.md — one line per commit, in the same commit and §4. test-first — no test, no claim of correctness.

ymm-oss/fsl

Instructions file CodexOpenCode

Instructions for ymm-oss/fsl, covering repository guidelines, project and authority, project structure, build and verification commands and correctness invariants.

ymm-oss/fsl

Instructions file

Instructions for ymm-oss/fsl, covering claude code instructions, sources of truth, starting or resuming work, implementation policy and verification and review.

punt-labs/z-spec

Instructions file CodexOpenCode

Instructions for punt-labs/z-spec, covering agent instructions, quick reference and landing the plane (session completion).

punt-labs/z-spec

Instructions file

Instructions for punt-labs/z-spec, covering z-spec, mandatory reading, read this first, architecture and key architectural boundary: commands vs. surfaces.