Studio

Critical rules that must mean the same in every runtime — or they don’t ship. cuni check is the gate. Free to try

Start Sign up GitHub Progress idle

Source .cuni

⌘/Ctrl+Enter run · free try · no install

Targets


        
        
        
        

      


      

        

          

            
            
          

          
        


        

          

            Lab notebook: every emit/check/run appends here. Add your own notes.
          

          

          

            
            
          

        


        

          

            Structured critiques: typeck/exactness auto-entries + your design notes.
          

          

          

            

              
              
            

            
            
          

        

      

    



    

      

        
Registered contracts —

        Rider
        
      

      

        
Loading registered contracts…

      

    


    

    
    
  


  Agents:
  agents.json ·
  llms.txt ·
  CuNi Protocol ·
  Agent^Rider ·
  Lab commerce