Flame Chasoid for hmz: the flame chase and its variants (agent cleanup, fixed interrupt, parallel lanes) as subflows of one flow.
-
Updated
Oct 11, 2026 - Python
Flame Chasoid for hmz: the flame chase and its variants (agent cleanup, fixed interrupt, parallel lanes) as subflows of one flow.
Recursive Lean Prover for hmz: recursively plan, prove, compare, review and catalogue Lean theorems.
AOT for hmz: the flow that writes a flow - a description in, a loaded, smoke-run and reviewed flow out.
To associate your repository with the hmz topic, visit your repo's landing page and select "manage topics."