Programs, products, and systems — what we built and how we built it.
A developer tool that integrates LLM-based static analysis into the pull-request workflow.