Starknet Six
Six agents working around an illustrative S-two proof structure
S-TWO / CIRCLE STARK4 proving · 2 verifier soundness
s-two / agent stream M31 / FFT / FRI
Fold · memory / mempool.rs