Skip to content

feat: Mechanized Gödel Machine TCB, Decision Solvers & AST Hot-Swapping - #140

Merged
Steake merged 2 commits into
mainfrom
feature/non-facade-godel-machine-tcb
Oct 1, 2026
Merged

feat: Mechanized Gödel Machine TCB, Decision Solvers & AST Hot-Swapping#140
Steake merged 2 commits into
mainfrom
feature/non-facade-godel-machine-tcb

chore: configure frontend server and preview to bind port 1337 on 0.0…

c552d0e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar