Skip to content

kyr0/defuss-vae

v0.9.0MIT

Lean verified agentic engineering: plan, implement, verify, doc, doc-edit, wrap, status, optimize and research skills plus deterministic verify/review/docs lifecycle gates.

optimize

Researches the target project's verifiers, gates and checks for a cost-vs-assurance Pareto optimum, then writes an optimization plan into plans/ and stops for review. The agent may start it when verification cost is the task or measured verification dominates the session budget.

Read SKILL.md at the source

Pinned to revision dc0f6b5ea497, 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.