hl-claude-marketplace

Design system for the Horizen protocol website (www.horizen.io). Use this skill whenever building UI, components, pages, or layouts for the Horizen protocol — including when the user mentions Horizen, hz- tokens, horizen.io, or needs to create web3/blockchain UI following Horizen's yellow/black brand. Also use when the user references horizen-design-system.html or asks about Horizen design tokens, typography (Funnel Display, Proxima Nova), or component patterns.

Design system for the Horizen Labs company website (www.horizenlabs.io). Use this skill whenever building UI, components, pages, or layouts for Horizen Labs — including when the user mentions Horizen Labs, hl- tokens, horizenlabs.io, or needs to create institutional/technical UI following Horizen Labs' navy/teal/magenta brand with sharp corners. Also use when the user references horizenlabs-design-system.html or asks about Horizen Labs design tokens, typography (Azeret Mono, Roboto), component patterns, or the sharp-corner design philosophy.

Design system for the zkVerify verification protocol website (www.zkverify.io). Use this skill whenever building UI, components, pages, or layouts for zkVerify — including when the user mentions zkVerify, zk- tokens, zkverify.io, zero-knowledge proofs, or needs to create verification/ZK-proof UI following zkVerify's green(Pulse)/blue(Signal)/dark(Void) brand. Also use when the user references zk-verify-design-system.html or asks about zkVerify design tokens, typography (Monigue, Space Grotesk), or component patterns.

Horizen Labs Agent Marketplace integration on Base Sepolia — full pipeline from ZK proof submission (Kurier) through attestation relay to on-chain validation recording. Covers agent registration (IdentityRegistry), validation recording (ValidationGateway), attestation polling, and marketplace discovery.

Kurier REST API for simplified proof verification. Use when you want the simplest integration path, don't need real-time events, or are building serverless/REST-based architectures. Covers API key setup, proof submission, status polling, and aggregation.

This skill should be used when the user asks to "analyze a crate for no_std", "assess no_std compatibility", "check if a crate supports no_std", "evaluate no_std support", "no_std assessment report", "can this crate compile with no_std", "no_std feasibility", "what std dependencies does this crate have", or mentions evaluating a Rust crate or library for `no_std` compilation support.

This skill should be used when the user asks to "assess a Rust crate for stable toolchain", "check if a crate needs nightly", "analyze nightly features in a Rust crate", "evaluate stable compatibility", "can this crate compile on stable", "assess stable migration feasibility", "check nightly dependencies", or mentions evaluating whether a Rust crate can drop the nightly toolchain requirement.

This skill should be used when the user asks to "assess a verifier crate", "assess verifier feasibility", "evaluate a ZK crate for zkVerify", "check if a crate can be a zkVerify verifier", "analyze unsafe in a verifier crate", "create a verifier assessment", "full verifier assessment", or mentions assessing whether a ZK proof verification crate can be integrated as a zkVerify verifier pallet. This is a comprehensive assessment that first checks no_std and stable toolchain compatibility, and only then proceeds to verifier-specific analysis.

This skill should be used when the user asks to "create a risc0 project", "create a zkVM project", "scaffold risc0 app", "generate a proof", "create proof script", "setup proof generation", "verify proof", "verify risc0 proof", "load and verify proof", "write risc0 guest code", "write zkVM guest program", "setup GPU proving", or mentions RISC Zero zkVM development, zero-knowledge proofs with RISC Zero, or zkSTARK proving.

Build and verify Risc Zero zkVM proofs. Covers guest program development, receipt generation, image ID handling, and zkVerify submission. Supports versions v2.1, v2.2, v2.3, and v3.0. Use when building zkVM applications that prove correct program execution.

Guide developers through brainstorming ZK use cases, understanding zkVerify benefits, choosing the right proof system (Groth16, Noir, Risc Zero, SP1, Plonky2, EZKL, Fflonk), and designing architecture for privacy apps, zkML/AI, and cross-chain bridges. Use when users mention zkVerify, ZK proofs, privacy applications, proof verification, or want to explore adding ZK capabilities to their projects.

Create Circom circuits for zkVerify Groth16 proofs with snarkjs. Use when the user wants to create a ZK circuit, write circom code, or start a new zero-knowledge proof project.

Compile Circom circuits and run Groth16 trusted setup for zkVerify. Use when the user wants to compile a circuit, generate r1cs/wasm/zkey files, run powers of tau ceremony, or prepare for proof generation.

Generate zero-knowledge proofs with snarkjs for zkVerify. Use when the user wants to create proofs, generate witness, or run the prover with their circuit inputs.

Submit zero-knowledge proofs to zkVerify using the Kurier REST API. Use when the user wants to submit proofs, verify on zkVerify, register verification keys, or interact with the zkVerify network.