Contract lab for agent protocol envelopes - versioned MCP/A2A message contracts, envelope validation, and compatibility diffs (compatible/forward/breaking). Python 3 stdlib + optional .NET 9 runtime.
Static auditor for randomness and nonce hygiene in Python source - flags weak PRNGs, hardcoded keys, reused counters, static IVs, short salts. CWE-330 mapped, CI-gating exit codes. Python 3.11, stdlib only.