Kani Harness Gen

Generate Kani proof harnesses for Rust crypto code. User-triggered only — never auto-invoked by the audit flow. Produces formal verification evidence for crypto-fp-check.

Yue-Zhou1 Updated

File contents

This file is a Codex skill discovery stub.

Canonical skill source: plugins/evidence-and-tooling/skills/kani-harness-gen/SKILL.md

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

Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/kani-harness-gen commit ab92b24f1e

Frequently asked questions

npx skillmds@latest add yue-zhou1/kani-harness-gen