1Quantum-Safe AIArtificial intelligence systems depend on the same public-key cryptography that quantum computers are expected to break.AI and Verified Crypto 2Quantum-Safe Agent ChannelsHow to move agent-to-agent, tool, model, and Model Context Protocol traffic to post-quantum Transport Layer Security without breaking the mesh.AI and Verified Crypto 3Signing Models and the MLBOMModel provenance is a supply-chain problem: sign the artifact, record its ingredients, and prepare those signatures for post-quantum migration.AI and Verified Crypto 4Verifying Rust Cryptography (SymCrypt)How machine-checked proofs connect cryptographic standards to the Rust code that ships, using Microsoft SymCrypt as the concrete case.AI and Verified Crypto