CuNi one .cuni · same stdout or refuse Studio gate py · go · js CLI/CI 53 catalog entries cuni run same answer, instant Bank paste N get X Agent after exactness PASS source_hash SHA-256 of the .cuni bytes license AGPL-3.0-or-later + commercial tree 0.1.10 · install tag v0.1.10

Studio

One program. Identical stdout on every gated seat — or it does not ship. Free to try

Start Sign up GitHub Progress idle
gate py · go · js catalog 53 · CLI/CI run same answer, instant agent after PASS approx none

Source .cuni

⌘/Ctrl+Enter exactness · UTF-8 · hash is identity

Exactness

IDLE no check
source_hash — live

py n/a

          
go n/a

          
js n/a

          
run interpreter same answer, instant

          

        

      

Lab notebook. Emit, check, run, and exactness append here. Add your own notes.

Structured critiques: typeck and exactness auto-entries, plus your design notes.

Registered contracts —

Rider
Loading registered contracts…