This file is a Codex skill discovery stub.
Canonical skill source:
plugins/post-quantum-auditors/skills/pqc-kem-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit standardized post-quantum KEM implementations — currently ML-KEM / FIPS 203 — for encapsulation/decapsulation conformance, implicit-rejection correctness, ciphertext and key validation, compression/rounding, and decapsulation-failure oracle resistance. Use when reviewing ML-KEM/Kyber APIs, serialization, or decapsulation paths.
npx skillmds@latest add yue-zhou1/pqc-kem-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/post-quantum-auditors/skills/pqc-kem-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/pqc-kem-auditor commit c4e2bc15ac