Results for “proof”

11 skills
More results
ai-builder-club
Pr
Prove a feature works by delegating verification to an independent sub-agent that drives the real app, then open a pull request with the proof.
770 · bundle
samyakjhaveri
Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, ensuring evidence precedes any success claims.
0
auto-skiller
Verification Gate
Enforces a verification gate before any completion claim, requiring fresh command output as evidence.
1 · bundle
tinh2
Root Cause
Runs a hypothesis-driven debugging workflow that reproduces failures, forms discriminating tests, proves root cause via toggle, and delivers a fix, regression test, and postmortem.
13
infinition
Spike
Runs throwaway experiments to validate feasibility before building, producing a verdict with evidence.
2
obra
Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.
247k
trailofbits
Wycheproof
Validate cryptographic implementations against known attacks and edge cases using Wycheproof test vectors.
6k · bundle
bankrbot
Aeon Skill Evals
Validate skill outputs against assertion manifests to detect regressions, enforce quality gates, and bootstrap starter manifests from historical runs.
1.2k · bundle
affaan-m
Perl Testing
Provides comprehensive testing patterns for Perl applications using Test2::V0, Test::More, prove runner, mocking, and coverage analysis with Devel::Cover.
226k
denissergeevitch
Repo Task Proof Loop
Provides a repeatable, auditable workflow for large coding tasks by initializing repo-local task artifacts, installing subagent templates, and running a spec-freeze → build → evidence → verify → fix loop with fresh-session verification.
719 · bundle