ByteBrief
Skimming the internet so you don't have to
Anthropic Open-Sources FlashProve Verification Tool | ByteBrief