# Horizen Labs, Inc. AI Agent Skills

Horizen Labs, Inc. publishes official AI agent skills for its tools, services, and developer workflows.

Browse 16 official AI agent skills across 1 Horizen Labs, Inc. repository, with install commands and source links.

Official page: https://skillscout.sh/official/horizenlabs/
Markdown page: https://skillscout.sh/official/horizenlabs/horizenlabs_skills_skillscout.md
Vendor website: https://horizenlabs.io/

## Prompt for your agent

Fetch this Markdown manifest as plain text: https://skillscout.sh/official/horizenlabs/horizenlabs_skills_skillscout.md. If your browser cannot display the Markdown directly, use curl or another text fetcher. Recommend the relevant Horizen Labs, Inc. skills package or packages for my goal, explain which individual skills matter, and wait for my approval. After I approve, install with the npx command. If no project is open, install it as an agent skill I can use later.

## Skills packages

### horizenlabs/hl-claude-marketplace

Includes 16 official skills: groth16-circuit, groth16-compile, groth16-prove, groth16-submit, hl-presentation, hl-registry-integration.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace -y
```

Source: https://github.com/HorizenLabs/hl-claude-marketplace

## Individual skills

### groth16-circuit

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@groth16-circuit -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zkverify-groth16/groth16-circuit

### groth16-compile

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@groth16-compile -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zkverify-groth16/groth16-compile

### groth16-prove

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@groth16-prove -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zkverify-groth16/groth16-prove

### groth16-submit

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@groth16-submit -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zkverify-groth16/groth16-submit

### hl-presentation

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@hl-presentation -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/hl-presentation

### hl-registry-integration

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@hl-registry-integration -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/zkverify-dev/hl-registry-integration

### horizen-design-system

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@horizen-design-system -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/design-systems/horizen-design-system

### horizenlabs-design-system

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@horizenlabs-design-system -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/design-systems/horizenlabs-design-system

### no-std-assessment

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@no-std-assessment -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/zkverify-verifier-assessment/no-std-assessment

### risc0-developer

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@risc0-developer -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zk-risczero-builder/risc0-developer

### risc0-submit

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@risc0-submit -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zk-risczero-builder/risc0-submit

### rust-stable-assessment

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@rust-stable-assessment -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/zkverify-verifier-assessment/rust-stable-assessment

### verifier-assessment

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@verifier-assessment -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/zkverify-verifier-assessment/verifier-assessment

### zkverify-context

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@zkverify-context -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/horizenlabs/hl-claude-marketplace/tree/HEAD/skills/zkverify-dev/zkverify-context

### zkverify-design-system

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@zkverify-design-system -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/design-systems/zkverify-design-system

### zkverify-kurier

Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

Install:

```bash
npx skills add horizenlabs/hl-claude-marketplace@zkverify-kurier -y
```

Package: horizenlabs/hl-claude-marketplace
Source: https://github.com/HorizenLabs/hl-claude-marketplace/tree/main/skills/zkverify-dev/zkverify-kurier

## horizenlabs/hl-claude-marketplace package overview

Includes 16 official skills: groth16-circuit, groth16-compile, groth16-prove, groth16-submit, hl-presentation, hl-registry-integration.

### Top skills in this package

- groth16-circuit: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- groth16-compile: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- groth16-prove: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- groth16-submit: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- hl-presentation: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- hl-registry-integration: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- horizen-design-system: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.
- horizenlabs-design-system: Official Horizen Labs, Inc. skill from horizenlabs/hl-claude-marketplace.

### Install

Install the full package:

```bash
npx skills add horizenlabs/hl-claude-marketplace -y
```

Install a specific skill:

```bash
npx skills add horizenlabs/hl-claude-marketplace@groth16-circuit -y
```

Use the package when you want your agent to choose the relevant skill from this official repository.

Source: https://github.com/horizenlabs/hl-claude-marketplace#readme