Brokk builds code intelligence for AI coding agents: static analysis, benchmarks, and retrieval models.