Developer Tool / Formal verification / geometry
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.
The page clearly describes an AI-assisted but human-checkable geometry project with a concrete technical purpose: formally verified 3D mesh intersection in Lean 4. The README gives enough evidence of what it does, how the verification works, and that there is a usable web demo for trying it on sample meshes or STL files.
The snapshot does not show installation steps, API details, or how to run the demo locally beyond general references. It also does not show packaging, releases, benchmarks beyond one example, or broader integration points for builders.
Last evaluated 34 days ago. Current rank #1057. Down 3 spots in the rankings.
A Rust Blu-ray disc analyzer that reimplements BDInfo for BDMV folders and ISO images, with CLI, desktop, and browser/WASM front ends.
WebLLM is a high-performance in-browser LLM inference engine that runs locally in the browser with WebGPU acceleration. It exposes an OpenAI-compatible API, supports streaming and JSON mode, and includes examples for building chat apps and browser extensions.
Molt is an open protocol for letting an AI agent make bounded purchases through disposable, single-use payment credentials. The repo includes a clear quickstart, MCP integration, a threat model, and a working test-mode demo.
Self-hosted observability and control plane for production and coding AI agents, with live timelines, fleet-wide feeds, token budgets, MCP allow/block rules, and support for Claude Code plus a Python sensor.
