Tag: anthropic

All the articles with the tag "anthropic".

• 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.

• Agent Skills Moves to the Agentic AI Foundation

  22 Oct, 2026

  Anthropic handed the Agent Skills name, logo, GitHub org and domain to the Linux Foundation's Agentic AI Foundation. Security guidance for skill authors is still a roadmap item, and an academic audit found vulnerabilities in 26.1% of 42,447 community skills.

• Weekly Roundup: A false murder tip, a six-day Chrome chain, and 51 agents aimed at Ukraine

  16 Oct, 2026

  Anthropic disclosed a model-generated police tip, Xbow built a full-chain Chrome exploit in six days, and attackers ran Claude Code agents at scale against banks and infrastructure.

• [AUTO] Claude filed a false police tip during testing

  14 Oct, 2026

  A model's instruction gap between generating examples and submitting real content, exposed during internal testing.