Skip to content

lyddonb/bstack

v0.7.0MIT

Beau's rigorous agent workflow. beau-mode routes each task to a playbook and the principles; beau-help lists what the kit can do and what's new; skills for understanding (how, why, teach, recall), proof (verify-work, create- and maintain-verification-skill, create- and maintain-formal-verification-skill, swarm), design and planning (architect, arena, state-machines, technical-writing), product repos (scaffold-product and the Product phase playbook), review and trails (interrogate, show-me-your-work), and improvement (reflect, correct, unslop) do the steps. Adapted from Lauren Tan's pstack to work in any agent.

GitHubOpen Website
skills

create-formal-verification-skill

Generate a project-local verify-AREA skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits (model checker, prover, SMT-backed verifier). Use for /create-formal-verification-skill, "model-check this race", "prove this invariant", or when concurrency, retries, state machines, parsers or unsafe code need more than tests.

Version
0.1.0
License
MIT
Read SKILL.md at the source

Pinned to revision a713fa19e489, so it is the text this page describes rather than whatever the author pushed since.

Files

Every link opens the file at its source, pinned to the revision this page describes.