# Veridise AI Agent Skills

Veridise publishes official AI agent skills for its tools, services, and developer workflows.

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

Official page: https://skillscout.sh/official/veridise/
Markdown page: https://skillscout.sh/official/veridise/veridise_skills_skillscout.md
Vendor website: https://veridise.com/

## Prompt for your agent

Fetch this Markdown manifest as plain text: https://skillscout.sh/official/veridise/veridise_skills_skillscout.md. If your browser cannot display the Markdown directly, use curl or another text fetcher. Recommend the relevant Veridise 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

### veridise/audithub-skills

Includes 16 official skills: audithub-orca-call-metrics-analyzer, audithub-orca-campaign-orchestrator, audithub-orca-counterexample-analyzer, audithub-orca-final-reporter, audithub-orca-hint-writer, audithub-orca-live-state-setup.

Install:

```bash
npx skills add veridise/audithub-skills -y
```

Source: https://github.com/Veridise/audithub-skills

## Individual skills

### audithub-orca-call-metrics-analyzer

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-call-metrics-analyzer -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/orca/audithub-orca-call-metrics-analyzer

### audithub-orca-campaign-orchestrator

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-campaign-orchestrator -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/orca/audithub-orca-campaign-orchestrator

### audithub-orca-counterexample-analyzer

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-counterexample-analyzer -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-counterexample-analyzer

### audithub-orca-final-reporter

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-final-reporter -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-final-reporter

### audithub-orca-hint-writer

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-hint-writer -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-hint-writer

### audithub-orca-live-state-setup

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-live-state-setup -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/orca/audithub-orca-live-state-setup

### audithub-orca-local-deployment-builder

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-local-deployment-builder -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-local-deployment-builder

### audithub-orca-property-discoverer

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-property-discoverer -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-property-discoverer

### audithub-orca-setup-tuner

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-setup-tuner -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-setup-tuner

### audithub-orca-smoke-run-debugger

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-smoke-run-debugger -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-smoke-run-debugger

### audithub-orca-target-selector

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-target-selector -y
```

Package: veridise/audithub-skills
Source: https://github.com/veridise/audithub-skills/tree/HEAD/orca/audithub-orca-target-selector

### audithub-orca-v-spec-writer

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-orca-v-spec-writer -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/orca/audithub-orca-v-spec-writer

### audithub-vanguard-invariant-detector-builder

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@audithub-vanguard-invariant-detector-builder -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/defi-vanguard/audithub-vanguard-invariant-detector-builder

### defi-vanguard

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@defi-vanguard -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/defi-vanguard

### orca

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@orca -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/orca

### security-invariant-discoverer

Official Veridise skill from veridise/audithub-skills.

Install:

```bash
npx skills add veridise/audithub-skills@security-invariant-discoverer -y
```

Package: veridise/audithub-skills
Source: https://github.com/Veridise/audithub-skills/tree/main/security-invariant-discoverer

## veridise/audithub-skills package overview

Includes 16 official skills: audithub-orca-call-metrics-analyzer, audithub-orca-campaign-orchestrator, audithub-orca-counterexample-analyzer, audithub-orca-final-reporter, audithub-orca-hint-writer, audithub-orca-live-state-setup.

### Top skills in this package

- audithub-orca-call-metrics-analyzer: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-campaign-orchestrator: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-counterexample-analyzer: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-final-reporter: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-hint-writer: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-live-state-setup: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-local-deployment-builder: Official Veridise skill from veridise/audithub-skills.
- audithub-orca-property-discoverer: Official Veridise skill from veridise/audithub-skills.

### Install

Install the full package:

```bash
npx skills add veridise/audithub-skills -y
```

Install a specific skill:

```bash
npx skills add veridise/audithub-skills@audithub-orca-call-metrics-analyzer -y
```

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

Source: https://github.com/veridise/audithub-skills#readme