DeepSec

Deciding equivalence properties in security protocols

Open-source verification tool for cryptographic protocols that checks trace equivalence and equivalence by session; includes a UI and API worker.

Recent stories

1 linked story

releasePRIMARY2026-05-04

deepsec launches CLI-first security harness with sandbox fanout for large repos

Vercel released deepsec, a CLI-first coding-security harness that runs agent reviews locally or fans out across sandbox workers for large repos. Early comparisons against Warden suggest a cheaper but less exhaustive scan profile, so teams should weigh coverage against cost.