Who is verifying their cryptographic protocols? (Galois blog)

Experimenting with ACL2 and Claude Code

4 minute read

Published: October 07, 2025

TL;DR: Using only prompting with Claude Code, I created:

• 50+ ACL2 theorem proofs translated from Software Foundations
• An MCP server for ACL2 with stateful solver sessions

Claude Can (Sometimes) Prove It

less than 1 minute read

Published: September 16, 2025

Galois blog post: Link

Specifications Don’t Exist

less than 1 minute read

Published: June 16, 2025

Galois blog post: Link

What Works (and Doesn’t) Selling Formal Methods

less than 1 minute read

Published: May 08, 2025

Galois blog post: Link