Last released May 25, 2026
Proof-aware codebase intelligence - smarter context, fewer tokens
Supported by