Tag: open-source

All the articles with the tag "open-source".

• Claude Wrote 180 Million Lines of Rocq to Verify 123 Libraries

  23 Oct, 2026

  Anthropic and Theorem used Claude to produce assembly-level formal proofs for 239 fuzz-test entry points across 123 OSS-Fuzz libraries. The scale is real; what the proofs guarantee is narrower than the headline suggests.

• [AUTO] Anthropic's automated vulnerability scanner reaches 85% accuracy. Can it scale?

  9 Oct, 2026

  Anthropic's opt-in vulnerability scanner for open-source projects offers speed and scale, but relies on internal validation and automated reporting without human review.

• AISI's Transect Turns 13 Million Tokens of Agent Transcript Into Something You Can Read

  7 Oct, 2026

  The UK AI Security Institute released Transect, an open-source tool that labels long agentic-evaluation transcripts with LLM judges and links every label back to the source. The catch is in the judges.

• [AUTO] Vulnerability discovery hits the patch ceiling

  25 Aug, 2026

  AI vulnerability discovery is outpacing the ability of organizations to patch them.