feat: uniview -- shared universal input, all tabs lens same content

feat: search tree/graph visualization for proof evolution

feat: no-code block composer for proof + program discovery

feat: C++ async message client with meta-clauses as default example

fix: pin gradio>=5.20.0 to resolve HfFolder import error

fix: pin gradio>=5.20.0 to resolve HfFolder import error

update README.md

fix: add audioop-lts for Python 3.13 compatibility

Upload 3 files

initial commit