Results for “proof”
11 skillsMore results
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
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
Verification Gate
Enforces a verification gate before any completion claim, requiring fresh command output as evidence.
1 · bundle
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
Spike
Runs throwaway experiments to validate feasibility before building, producing a verdict with evidence.
2
Verification Before Completion
Enforces running verification commands and confirming output before claiming work is complete, fixed, or passing, to prevent false success claims.
247k
Wycheproof
Validate cryptographic implementations against known attacks and edge cases using Wycheproof test vectors.
6k · bundle
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
Perl Testing
Provides comprehensive testing patterns for Perl applications using Test2::V0, Test::More, prove runner, mocking, and coverage analysis with Devel::Cover.
226k
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