schildep/verified-3d-mesh-intersection

Skip(New discovery — enrichment pending)

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

Why this repo matters

Formally verifies 3D mesh intersection, a core CSG operation, using Lean 4.
Demonstrates a novel approach to trusting AI-generated code via formal specifications.
Offers a web demo for local mesh intersection without server data transmission.

Trend Velocity Score: 0.00
Opportunity Score: 35.00
Confidence Score: 80.00
Language: Lean
License: MIT
Topics:
🏷️ computational-geometry 🏷️ constructive-solid-geometry 🏷️ formal-methods 🏷️ formal-verification 🏷️ lean4 🏷️ mesh-processing 🏷️ verified-software
First Seen: 2 months ago

105 stars+4 over 5 snapshots8/22/2026 – 9/20/2026

The agent that grows with you

DeepSeek Harness: Everything is a Plugin.

Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA

An AI skill that provides design intelligence for building professional UI/UX across multiple platforms.