Back to all repositories
WA
proofdeploy
by wally-dk24
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.
0stars0forks0watchers
Available plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.