agentsclimarketplace
Sign in

Pqc signature auditor

Skill Yue-Zhou1/zkcrypto-audit/.codex/skills/pqc-signature-auditor

Audit post-quantum signature implementations — ML-DSA (FIPS 204), SLH-DSA (FIPS 205), FN-DSA/Falcon (pending standardization), and stateful hash signatures XMSS/LMS/HSS (NIST SP 800-208) — for rejection-sampling correctness, hedged/deterministic signing modes, verification bound enforcement, and one-time-signature state management. Use when reviewing PQ signing, verification, or OTS index/state persistence.From its SKILL.md

Install
npx -y skills add Yue-Zhou1/zkcrypto-audit --skill pqc-signature-auditor

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

  • 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

SKILL.md

0.7 KB, 51 tokens by cl100k_base, as published. Nobody here has run it

This file is a Codex skill discovery stub.

Canonical skill source: plugins/post-quantum-auditors/skills/pqc-signature-auditor/SKILL.md

When this skill is selected, follow the canonical source file above.

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 326,852. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.