Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code

Open source

Heat trend

Collecting trend data

The percentage is based on available heat signal, not comment count or independent people.

Why it matters

This covers a coding tool or code-capability update — useful for developers assessing workflow changes and reusable value.