VeriCrypt-Agent: Evidence-Grounded Multi-Agent Verification for Cryptographic Dependency Updates
VeriCrypt-Agent is presented, an evidence-grounded workflow for bounded-autonomy cryptographic maintenance that combines a frozen snapshot of release/advisory evidence, a public catalog of project-level executable probes, cross-version execution under old and candidate dependency versions, role-specialized LLM reasonin...