By horizenlabs
Collection of design skills with Horizen, zkVerify and Horizen Labs branding for websites and apps
npx claudepluginhub horizenlabs/hl-claude-marketplace --plugin hl-design-systemsGenerate a comprehensive handoff summary of this conversation session and save it to `tmp.txt` in the project root.
Load context from a previous session handoff and prepare to continue work.
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.
**Shape:** Always pill — `border-radius: 9999px` (no exceptions).
- **Minimum size:** 44x44px for all interactive elements.
| Token | Hex | RGB | Usage |
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.
**Core rule:** ALL buttons are sharp rectangles — `border-radius: 0`. NEVER use pill or rounded buttons.
Fullscreen overlay with navy background.
| Token | Hex | Usage |
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.
**Shape:** Always pill (`border-radius: 9999px`). Never square or rounded-rect.
- Minimum touch target: **44x44px**
| Token | Hex | RGB | Usage |
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.
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.
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.
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.
Claude Code skills and commands for zkVerify integrations.
| Plugin | Description |
|---|---|
zkverify-product-development | ZK builders, SDK, RPC, contracts integration |
zkverify-verifier-assessment | Assess Rust crates for stable toolchain, no_std support, and zkVerify verifier pallet integration |
hl-design-systems | Session handoff and resume commands |
# Clone the marketplace (one-time setup)
git clone https://github.com/HorizenLabs/hl-claude-marketplace.git
# Add Marketplace to your local Claude instance
claude plugin marketplace add HorizenLabs/hl-claude-marketplace
# Install the plugins (or use Claude CLI for better ergonomics)
claude plugin install <plugin_name>@hl-agent-skills
After installation, verify skills are available:
# Start Claude Code in your project
claude
# List available skills (type in Claude)
/skills
# List available plugins (type in Claude, then Tab to "Installed")
/plugins
You should see the installed skills listed. Invoke them with /skill-name, e.g., /groth16-circuit.
To refresh the list of plugins available in the marketplace run:
claude plugin marketplace update hl-agent-skills
To configure auto-updates, and as general reference for Claude Plugins and Marketplaces management, take a look at the official documentation.
We welcome contributions of new skills, commands, and improvements.
mkdir -p skills/my-new-skill
Or use one of the already existing directories, depending on the use case.
Create SKILL.md. Claude has a built-in skill-creator skill for creating skills so you can ask to him directly. Otherwise, follow Anthropic's official documentation.
Register in marketplace.json:
{
"skills": [
"./skills/my-new-skill"
]
}
Commands are simpler than skills - just a single markdown file:
touch commands/my-command.md
Write the command instructions. Commands are just like skills, thus you can ask Claude to do it, or follow Anthropic's official documentation.
Register in marketplace.json:
{
"commands": [
"./commands/my-command.md"
]
}
To organize related skills into a new plugin:
mkdir -p skills/my-new-plugin
{
"plugins": [
{
"name": "my-new-plugin",
"description": "Description of this plugin collection",
"source": "./",
"strict": false,
"skills": [
"./skills/my-new-plugin/skill-one",
"./skills/my-new-plugin/skill-two"
]
}
]
}
claude plugin marketplace update hl-agent-skills
claude
# Then type: /my-new-skill
You can always ask Claude if the skill is configured correctly and he is able to invoke it.
<your_name>/<skill-name> or fix/<issue>Comprehensive UI/UX design plugin for mobile (iOS, Android, React Native) and web applications with design systems, accessibility, and modern patterns
Standalone image generation plugin using Nano Banana MCP server. Generates and edits images, icons, diagrams, patterns, and visual assets via Gemini image models. No Gemini CLI dependency required.