Golang Security
unxed/f4
Security best practices and vulnerability prevention for Golang — injection (SQL, command, XSS), cryptography, path traversal, SSRF and HTTP security headers, cookies, secrets management, memory…
Zero-knowledge cryptographic verification pipeline register: proving system, circuit verification keys, public inputs, and gas costs.
Install Zk Proof Verification Pipeline
$ npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install sickn33/agentic-awesome-skills zk-proof-verification-pipeline --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/zk-proof-verification-pipeline .claude/skills/zk-proof-verification-pipeline && rm -rf skills-srcUse ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.
Claude Code skills documentation · loads skills from .claude/skills/
Install the "zk-proof-verification-pipeline" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipeline into .claude/skills/zk-proof-verification-pipeline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "zk-proof-verification-pipeline", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipelineType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install sickn33/agentic-awesome-skills zk-proof-verification-pipeline --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/zk-proof-verification-pipeline .agents/skills/zk-proof-verification-pipeline && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "zk-proof-verification-pipeline" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipeline into .agents/skills/zk-proof-verification-pipeline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "zk-proof-verification-pipeline", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install sickn33/agentic-awesome-skills zk-proof-verification-pipeline --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/zk-proof-verification-pipeline .cursor/skills/zk-proof-verification-pipeline && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "zk-proof-verification-pipeline" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipeline into .cursor/skills/zk-proof-verification-pipeline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "zk-proof-verification-pipeline", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/sickn33/agentic-awesome-skills.git --path skills/zk-proof-verification-pipeline--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install sickn33/agentic-awesome-skills zk-proof-verification-pipeline --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/zk-proof-verification-pipeline .gemini/skills/zk-proof-verification-pipeline && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "zk-proof-verification-pipeline" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipeline into .gemini/skills/zk-proof-verification-pipeline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "zk-proof-verification-pipeline", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install sickn33/agentic-awesome-skills zk-proof-verification-pipelineInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/zk-proof-verification-pipeline .github/skills/zk-proof-verification-pipeline && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "zk-proof-verification-pipeline" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipeline into .github/skills/zk-proof-verification-pipeline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "zk-proof-verification-pipeline", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install sickn33/agentic-awesome-skills zk-proof-verification-pipeline --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sickn33/agentic-awesome-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/zk-proof-verification-pipeline .opencode/skills/zk-proof-verification-pipeline && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "zk-proof-verification-pipeline" agent skill from https://github.com/sickn33/agentic-awesome-skills/tree/main/skills/zk-proof-verification-pipeline into .opencode/skills/zk-proof-verification-pipeline/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "zk-proof-verification-pipeline", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
Facts
- Skill name
zk-proof-verification-pipeline- GitHub stars
- 47k
- Used in
- 1 other repo
- Token cost
- ~1.3k tokens
- SKILL.md length
- 496 words
- Files
- 1
- Skills in repo
- 1,497
- Repo updated
- First seen
- Licence
- MIT
At a glance
Zero-knowledge cryptographic verification pipeline register: proving system, circuit verification keys, public inputs, and gas costs.
- Works in 3 steps: Define the parameters, thresholds, and… → Select appropriate boundary enforcement… → Export standardized artifacts (CSV…
- Tasks that involve Cryptography
- SKILL.md covers Overview, When to Use This Skill, How It Works and Field Reference, plus 9 more sections
- Instructions only: no scripts, shell commands, URLs or credentials in SKILL.md
What it does
Zk Proof Verification Pipeline is an agent skill from sickn33/agentic-awesome-skills. Zero-knowledge cryptographic verification pipeline register: proving system, circuit verification keys, public inputs, and gas costs.
Its SKILL.md is about 1.3k tokens, which your agent loads only when the skill is triggered. It is a single SKILL.md file with no bundled scripts.
It sits in Security, covering Cryptography. It works with SQL. The repository describes itself as: AAS Core is the local, agent-first control plane for complete catalog discovery, agent-owned selection, stack validation, and planning, backed by 2,400+ agentic skills. Includes… The licence is MIT.
When your agent uses it
- Tasks that involve Cryptography
Example prompts
- “/zk-proof-verification-pipeline”
Workflow steps
3 steps, taken from the first numbered list in SKILL.md.
- Define the parameters, thresholds, and identity bindings required for the target operational register.
- Select appropriate boundary enforcement values from validated enum select sets.
- Export standardized artifacts (CSV table, SQL DDL, JSON Schema) to integrate into validation CI pipelines.
What it can do on your machine
Read from SKILL.md and the folder at commit b84d35a. It shows what the files ask for, not the result of running them.
Tool permissions
Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.
From allowed-tools in the SKILL.md frontmatter.
Runs code
No scripts in the folder and no shell commands in SKILL.md.
From the folder's file list and the shell code blocks in SKILL.md.
Network
No URLs in SKILL.md.
From URLs in SKILL.md, links to its own repository left out.
Credentials
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Context cost
Zk Proof Verification Pipeline loads about 1.3k tokens when it runs. Until then it costs about 41 tokens; SKILL.md has 496 words of instructions outside code blocks.
Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.
Safety
Auto-check passed
The automated check found no risky patterns in SKILL.md.
Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.
SKILL.md
The full file from sickn33/agentic-awesome-skills at commit b84d35a, republished under its MIT licence (© sickn33). 496 words, ~1,342 tokens.
Download SKILL.mdSave it as
.claude/skills/zk-proof-verification-pipeline/SKILL.md (or your agent's skills folder).- name
- zk-proof-verification-pipeline
- description
- Zero-knowledge cryptographic verification pipeline register: proving system, circuit verification keys, public inputs, and gas costs.
- category
- engineering
- risk
- safe
- source
- self
- source_type
- self
- date_added
- 2026-10-01
- author
- Ranjeet2063
- tags
- zk, zero-knowledge, snark, cryptography, privacy, soroban, web3
- source_repo
- Ranjeet2063/agentic-awesome-skills
Zero-Knowledge Proof Verification Pipeline
What it is: Registers zero-knowledge SNARK proof verification keys, circuit complexity constraints, and nullifier tracking to prevent double-spending in privacy systems.
Overview
Provides a standardized, auditable framework and data model for Zero-Knowledge Proof Verification Pipeline operations across distributed engineering and decentralized application systems.
When to Use This Skill
- When formalizing architectural contracts, security invariants, or operational limits for Zero-Knowledge Proof Verification Pipeline.
- When cross-functional review is required between protocol developers, smart contract auditors, and AI engineering agents.
- When generating reproducible CSV, SQL DDL, JSON Schema, and Notion property registers for tracking compliance.
How It Works
- Define the parameters, thresholds, and identity bindings required for the target operational register.
- Select appropriate boundary enforcement values from validated enum select sets.
- Export standardized artifacts (CSV table, SQL DDL, JSON Schema) to integrate into validation CI pipelines.
Field Reference
| # | Field Name | Type | SQL Type | JSON Schema Type | Notion Property Type | Example Value |
|---|---|---|---|---|---|---|
| 1 | ZK Verification ID | id | SERIAL PRIMARY KEY | integer | Text | ZK-001 |
| 2 | Proving System Architecture | select | VARCHAR(64) | string | Select | Groth16 (BN254) |
| 3 | Circuit Identifier | text | VARCHAR(64) | string | Text | private_identity_membership |
| 4 | Public Inputs Count | number | INTEGER | number | Number | 4 |
| 5 | Verification Key Hash | text | VARCHAR(64) | string | Text | 0x98f4a... |
| 6 | Proof Generation Time Ms | number | INTEGER | number | Number | 420 |
| 7 | On-Chain Verification Gas | number | INTEGER | number | Number | 185000 |
| 8 | Nullifier Collision Checked | select | VARCHAR(16) | string | Select | Yes |
| 9 | Proof Verification Verdict | select | VARCHAR(32) | string | Select | Cryptographically Valid |
| 10 | Cryptographer Reviewer | text | VARCHAR(64) | string | Text | Ranjeet2063 |
| 11 | Verification Timestamp | date | DATE | string, format: date | Date | 2026-10-01 |
Select Options
Proving System Architecture
Groth16 (BN254) | Plonk (KZG) | Halo2 | STARKNullifier Collision Checked
Yes | NoProof Verification Verdict
Cryptographically Valid | Invalid Proof State | Malformed InputsRelations
Audit Reference-> links to the formal review documentation or test repository.Target Architecture-> links to the deployed contract or autonomous agent runtime component.
Show full SKILL.md (203 more words)Show less
Examples
Prompt
How do I configure and track Zero-Knowledge Proof Verification Pipeline for our production environment?Recommended Next Step
Generate the unified field schema, SQL DDL migration, and JSON validation schema to register into your system catalog.
Workflow: Define criteria -> Run automated verification -> Record baseline -> Monitor invariants.
Best Practices
- Enforce strict typing on numerical bounds and currency amounts; avoid unstructured free-text fields for critical states.
- Re-run validation test suites on every state-altering commit or parameter change.
- Keep example data synthetic and isolated from production cryptographic keys or private endpoints.
Limitations
- Provides architectural specifications, data models, and verification schemas; does not execute direct transaction signing without authorized external tooling.
- Requires network connectivity and valid RPC credentials when querying on-chain states.
Security & Safety Notes
- All parameters declare
risk: safe. No unauthorized state modification or privileged credential access is performed. - Use synthetic dummy keys and mock addresses in test suites and local verification scripts.
Common Pitfalls
- Problem: Mismatched decimal precision between contract runtime and database register. Solution: Always verify decimals using the explicit field mapping in this reference.
- Problem: Missing authorization checks prior to state update. Solution: Cross-validate against the Security Audit register before deployment.
Related Skills
- @smart-contract-formal-verification - verifies state invariants mathematically.
- @soroban-contract-audit - provides the security checklist and vulnerability categorization.
- @cross-chain-relayer-audit - covers message hashes, nonces and quorum proofs.
Reusable Prompt
I want to establish a verified Zero-Knowledge Proof Verification Pipeline register for our production protocol.
Guide me through the required field parameters and output the corresponding SQL DDL and JSON Schema.© sickn33, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
Files
Just SKILL.md in skills/zk-proof-verification-pipeline of sickn33/agentic-awesome-skills.
Open the folder on GitHubat commit b84d35a
Used in 1 other repository
We found 5 copies of this SKILL.md (exact, near-identical or edited) in other folders, from 1 other GitHub owner. This page covers the copy in sickn33/agentic-awesome-skills, which our catalogue first saw on October 7, 2026.
Compare with similar skills
Zk Proof Verification Pipeline next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Zk Proof Verification Pipeline this skillsickn33/agentic-awesome-skills | 47k | 1 repos | ~1.3k | Automated safety check: Pass | MIT | |
| Golang Securityunxed/f4 | 243 | 2 repos | ~3.6k | Automated safety check: Pass | MIT | |
| Static Vulnerability DetectorArabelaTso/Skills-4-SE | 253 | — | ~2k | Automated safety check: Pass | Apache-2.0 | |
| Bom Explorecdxgen/cdxgen | 1.1k | — | ~1.2k | Automated safety check: Pass | Apache-2.0 | |
| Python Reviewliuyanghejerry/Clausura | 204 | — | ~164 | Automated safety check: Pass | MIT | |
| Crypto Analysishypnguyen1209/offensive-claude | 388 | — | ~2.2k | Automated safety check: Pass | MIT |
Similar skills
Static Vulnerability Detector
ArabelaTso/Skills-4-SE
Statically analyze code to detect security vulnerabilities including buffer overflows, injection risks (SQL, command, XSS), insecure deserialization, improper authentication, hard-coded credentials…
Bom Explore
cdxgen/cdxgen
Explores and triages a CycloneDX BOM interactively with the cdxi REPL, using built-in commands for dependency trees, licenses, services, cryptographic assets, audit findings, evidence occurrences…
Python Review
liuyanghejerry/Clausura
Python 遗留代码审查：bare except、SQL 注入、反序列化、密钥、调试输出. An agent skill from liuyanghejerry/Clausura.
Crypto Analysis
hypnguyen1209/offensive-claude
A skill your agent uses when assessing cryptography — TLS/PKI auditing, RSA/ECC key attacks, ECDSA nonce lattice recovery, symmetric/AEAD misuse, JWT/JOSE forgery, hash cracking, post-quantum…
Security Review
valory-xyz/open-autonomy
Security review of an open-autonomy agent service — cryptographic key handling, dynamic code execution, ABCI authentication and replay, secret exposure, dependency supply chain, and deployment…
More from sickn33/agentic-awesome-skills
All 1,497 skills in this repoLiuguang Banlan UI
sickn33/agentic-awesome-skills
Implements an interface in one of two named color modes, iridescent white or colorful black, from a parameterized starter that reports measured color intensity.
User Thoughts Memory
sickn33/agentic-awesome-skills
Saves a user's project decisions, rules and preferences into a project-local mdbase so later sessions and other agents can recover the intent.
Using LWC Memory and Graphs
sickn33/agentic-awesome-skills
Keeps project decisions, research and verified results available across coding-agent sessions through LWC memory, a document Wiki graph and a CodeGraph code index.
Find Complementary Founders
sickn33/agentic-awesome-skills
Guides an agent through assessing its own owner for cofounder fit, publishing an approved profile, and ranking complementary profiles other agents published for their owners.
Whatsapp Cloud API
sickn33/agentic-awesome-skills
Integracao com WhatsApp Business Cloud API (Meta). An agent skill from sickn33/agentic-awesome-skills.
Cline Pilot
sickn33/agentic-awesome-skills
Acts as a proxy for the Cline CLI, dispatching coding tasks one at a time, monitoring runs by hard evidence, relaying decisions to you and learning per-project preferences.
Related
Works with
Categories
Questions about Zk Proof Verification Pipeline
What does Zk Proof Verification Pipeline do?
Zero-knowledge cryptographic verification pipeline register: proving system, circuit verification keys, public inputs, and gas costs. Zk Proof Verification Pipeline is an agent skill from sickn33/agentic-awesome-skills. Zero-knowledge cryptographic verification pipeline register: proving system, circuit verification keys, public inputs, and gas costs.
When should I use Zk Proof Verification Pipeline?
Zk Proof Verification Pipeline fits situations like: tasks that involve Cryptography.
How do I install Zk Proof Verification Pipeline in Claude Code?
Run `npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a claude-code`. Or copy the skill folder (skills/zk-proof-verification-pipeline in sickn33/agentic-awesome-skills) into .claude/skills/zk-proof-verification-pipeline in your project. Claude Code loads it when a task matches its description.
How do I install Zk Proof Verification Pipeline in Codex?
Run `npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a codex`. Or copy the skill folder (skills/zk-proof-verification-pipeline in sickn33/agentic-awesome-skills) into .agents/skills/zk-proof-verification-pipeline in your project. Codex loads it when a task matches its description.
Can I use Zk Proof Verification Pipeline in Cursor, Gemini CLI or GitHub Copilot?
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add sickn33/agentic-awesome-skills --skill zk-proof-verification-pipeline -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/zk-proof-verification-pipeline, .gemini/skills/zk-proof-verification-pipeline, .github/skills/zk-proof-verification-pipeline and .opencode/skills/zk-proof-verification-pipeline in your project.
What does Zk Proof Verification Pipeline need to run?
SKILL.md names no scripts, command-line tools or credentials: Zk Proof Verification Pipeline is instructions for the agent only.
Does Zk Proof Verification Pipeline access the network?
SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.
Is Zk Proof Verification Pipeline safe to install?
Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.
What licence does Zk Proof Verification Pipeline use?
Zk Proof Verification Pipeline is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
How many tokens does Zk Proof Verification Pipeline use?
About 1.3k tokens (SKILL.md is roughly 5.4k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
What are the alternatives to Zk Proof Verification Pipeline?
Skills that share tags, products or a category with Zk Proof Verification Pipeline: Golang Security (unxed/f4, 243 stars), Static Vulnerability Detector (ArabelaTso/Skills-4-SE, 253 stars), Bom Explore (cdxgen/cdxgen, 1.1k stars) and Python Review (liuyanghejerry/Clausura, 204 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
Who maintains Zk Proof Verification Pipeline?
sickn33 (a GitHub user) maintains it in sickn33/agentic-awesome-skills, which has 47,405 GitHub stars. The repository holds 1,497 skills in this directory. The repository was last updated on October 9, 2026.
Source: sickn33/agentic-awesome-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.