Borrowing it
Nothing to install: this file belongs to salazarsebas/Cougr. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/salazarsebas/Cougr/main/.claude/skills/zk-proofs/SKILL.mdgit clone --depth 1 https://github.com/salazarsebas/CougrWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/salazarsebas/cougr/zk-proofs)<a href="https://agentmods.dev/skills/salazarsebas/cougr/zk-proofs"><img src="https://agentmods.dev/badge/skills/salazarsebas/cougr/zk-proofs/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/salazarsebas/cougr/zk-proofs"><img src="https://agentmods.dev/badge/skills/salazarsebas/cougr/zk-proofs.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00100 | $0.01432 |
| Opus 5.5 | $0.00040 | $0.00573 |
| Sonnet 5.5 | $0.00020 | $0.00286 |
| Haiku 4.5 | $0.00010 | $0.00143 |
Grade A, and why
zk-proofs scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured today.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 168 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Zero-Knowledge Proofs & Privacy
Privacy patterns and ZK verification on Stellar/Soroban. Capability is protocol- and SDK-version dependent - always verify CAP status, network version, and soroban-sdk host-function support before relying on a primitive.
When to use this skill
- Implementing a Groth16 (or other SNARK) verifier as a Soroban contract
- Using BLS12-381 host functions
- Planning for BN254 / Poseidon (currently proposed via CAP-0074/0075)
- Integrating Noir or RISC Zero proofs
- Building privacy pools, confidential tokens, or Merkle-tree-backed commitments
Status-sensitive - always verify
- CAP status (
Accepted/Implementedvs draft) - Target network software + protocol version
soroban-sdkrelease support for the target host functions- Available feature flags + graceful fallback paths
Related skills
- Soroban verifier contract patterns + tests →
../soroban/SKILL.md - Confidential-token integration with classic assets →
../assets/SKILL.md - Off-chain proof verification UI →
../dapp/SKILL.md - CAPs referenced here →
../standards/SKILL.md
When to use this guide
Use this guide when the user asks for:
- On-chain ZK proof verification patterns
- Privacy-preserving smart contract architecture
- BN254/Poseidon readiness planning
- Groth16 or PLONK integration strategy
- Cross-chain proof verification design
This guide is intentionally status-aware. ZK capabilities on Stellar evolve with protocol and SDK releases.
Source-of-truth checks (required)
Before implementation, always verify:
- CAP status in
stellar/stellar-protocol(Accepted/Implementedvs draft/awaiting decision) - Target network protocol/software version
soroban-sdksupport for required cryptographic host functions- Availability of production examples matching your proving system
Primary references:
- CAP-0059 (BLS12-381)
- CAP-0074 (BN254 proposal)
- CAP-0075 (Poseidon/Poseidon2 proposal)
- Stellar protocol/software versions
- RPC providers
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- today First seen · 168 lines · 100 tokens per session scan A ae4e1b2a2f28
zk-proofs is a skill published in the GitHub repository salazarsebas/Cougr (53 stars, last pushed 17d ago), licensed MIT. It adds 100 tokens to every session and 1,432 once invoked, about $0.0004 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-11-07.
zk-proofs compared with skills from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| zk-proofssalazarsebas/Cougr | Skill | 53 | 17d ago | MIT | A | 100 | Claude Code |
| frontend-designrylsherdamz-rgb/stellar-forge | Skill | 17 | 5d ago | MIT | A | 51 | Claude Code |
| stellar-forgerylsherdamz-rgb/stellar-forge | Skill | 17 | 5d ago | MIT | A | 82 | Claude Code |
| smart-contractsrylsherdamz-rgb/stellar-forge | Skill | 17 | 5d ago | MIT | A | 44 | Claude Code |
| dapprylsherdamz-rgb/stellar-forge | Skill | 17 | 5d ago | MIT | A | 48 | Claude Code |
| stellar-mcprylsherdamz-rgb/stellar-forge | Skill | 17 | 5d ago | MIT | A | 61 | Claude Code |
| datarylsherdamz-rgb/stellar-forge | Skill | 17 | 5d ago | MIT | A | 41 | Claude Code |