kyr0/defuss-vae
Lean verified agentic engineering: human-triggered skills plus deterministic verify/review/docs lifecycle gates.
Human-triggered documentation: grounded claims, universal prose catalog, Mermaid for schematic content, static check.
Human-triggered finalization: fresh gate proof, coherent Conventional Commits, CHANGELOG, consolidated agent memory.
Human-triggered implementation: Ponytail minimalism, probe-before-assume debugging, root-cause fixes, mock-free tests, dogfood e2e, gated verify → review → docs.
Human-triggered lean planning: trace the real path, probe unknowns, climb the prior-art ladder, emit the smallest plan whose invariants are executable checks.
Human-triggered high-precision review against requirements, callers, real tests, gate evidence and Ponytail minimalism; fixes confirmed defects, encodes repeatable ones as tests or rules.