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.

maintain-formal-verification-skill

Bring a project's formal verification back in line with the code after the code changes. Finds the commits that touched verified code, updates the model, harness or properties to describe the code as it is now, reruns, and says whether each failure is drift in the verification or a bug in the code. Use for /maintain-formal-verification-skill, "is the model still true to the code", or after merges and refactors that touched verified code without rechecking it.

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.