web demo

An open-source, local-first canvas for editing LLM context as a graph. It lets users branch, prune, merge, and inspect the exact context sent to a model, with a desktop app, web demo, and support for Ollama and OpenAI-compatible endpoints.

A Lean 4 project for formally verified 3D mesh intersection and constructive solid geometry, with a browser demo for intersecting example meshes or STL imports.