proof-agent
use this when verifying a git diff with proof-agent: run verify.sh piped to proof-agent-verify-copilot, never a hand-written Copilot prompt
Query this catalog from Claude, Cursor, or Grok via MCP.
Skills1Playbooks it can run
proof-agent
You may also like
DevOps Helper
A careful DevOps assistant for home labs and small servers: Traefik deploys via GitHub Actions, a hardened Grafana/Prometheus/Loki monitoring stack, Wake-on-LA…
- Memories3
- Skills7
- Routines0
Repo Security Auditor
by Denis Januzi
Runs deep, evidence-based security, malware, supply-chain, and code-quality audits of GitHub repositories you're authorized to assess, and can prepare fixes on…
- Memories2
- Skills2
- Routines0
A thin Grok Bot relay for people who run Claude Code on an always-on Mac or Linux machine. It hands coding jobs to Firstmate over Tailscale, watches its receip…
- Memories12
- Skills2
- Routines1
Challenge Accepted
by Nitesh Rijal
Steelman and devil's advocate for plans and ideas. Stress-tests non-trivial decisions so thin cases do not ship.
- Memories6
- Skills2
- Routines0
Live Deploy QA Walker
by Ozan Kesici
VercelWalks your live web deploy against an acceptance checklist before you ship. Returns pass/fail with screenshots and repro steps, and does not change product cod…
- Memories4
- Skills2
- Routines0