---
title: "wally-dk24/proofdeploy"
description: "ProofDeploy: change-aware verification for coding agents. Your agent authors probes from the diff; a deterministic runner executes them against a provisioned instance and renders per-claim verdicts. Diff in, verified out."
canonical_url: "https://awesomeclaudeplugins.com/wally-dk24/proofdeploy"
repository_url: "https://github.com/wally-dk24/proofdeploy"
stars: 0
forks: 0
plugins_count: 0
publication_state: "indexable"
quality_note: "Canonical repository has a validated plugin count."
catalog_updated: "2026-10-18T00:34:25.053Z"
install_command: "/plugin marketplace add wally-dk24/proofdeploy"
---

# wally-dk24/proofdeploy

ProofDeploy: change-aware verification for coding agents. Your agent authors probes from the diff; a deterministic runner executes them against a provisioned instance and renders per-claim verdicts. Diff in, verified out.

## Repository

- [Catalog detail page](https://awesomeclaudeplugins.com/wally-dk24/proofdeploy)
- [GitHub repository](https://github.com/wally-dk24/proofdeploy)
- Stars: 0
- Forks: 0
- 0 plugin entries are reported.

## Catalog provenance

- Publication state: indexable
- Quality note: Canonical repository has a validated plugin count.
- Repository metadata source: catalog snapshot dated Oct 18, 2026, not live GitHub API data

## Installation

When this repository exposes a Claude Code marketplace, add it with:

```bash
/plugin marketplace add wally-dk24/proofdeploy
```