prove
Run the diff-scoped validation suite for lower-db and emit the standard evidence block.
Skill by jakebutler
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/jakebutler-prove
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: testing
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/prove
What's inside
- Skill name
prove- Description
- Run the diff-scoped validation suite for lower-db and emit the standard evidence block. Use before every PR: it figures out what changed, runs the right vitest/tsc/eslint commands, and formats the result for the PR body. Never use repo-wide lint or test runners — always scoped to changed files.
- License
- unknown
- Instructions
- 130 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from jakebutler/skills
- 0.474score
bmad-prfaq
jakebutler
Working Backwards PRFAQ challenge to forge product concepts.
SkillCFreshness: CClaude Code +9 - 0.469score
codex-implementation
jakebutler
Ask Codex CLI (gpt-5.5) to implement a bounded lower-db code slice in an isolated repo/worktree, then have Claude/Fable inspect the diff and run verification.
SkillCFreshness: CClaude Code +9 - 0.469score
codex-review
jakebutler
Ask Codex CLI (gpt-5.5) for an independent lower-db code review of uncommitted changes, a branch diff, a commit, or a specific implementation.
SkillCFreshness: CClaude Code +9 - 0.469score
publish-slice
jakebutler
Stage a lower-db slice by explicit file paths, commit on a codex/<slug> branch, push, open a PR with the house body template, then own the checks/review loop…
SkillCFreshness: CClaude Code +9 - 0.469score
wrap-session
jakebutler
End-of-session docs ritual for lower-db: prepend a dated changelog entry, overwrite project-status.md with current git state and next-session pick-up point…
SkillCFreshness: CClaude Code +9 - 0.469score
bmad-technical-research
jakebutler
Conduct technical research on technologies and architecture.
SkillCFreshness: CClaude Code +9 - 0.469score
codex-computer-use
jakebutler
Ask Codex CLI (gpt-5.5) to run lower-db local app verification that needs browser automation, screenshots, app launching, simulator/device state, or…
SkillCFreshness: CClaude Code +9 - 0.469score
bmad-document-project
jakebutler
Document brownfield projects for AI context.
SkillCFreshness: CClaude Code +9 - 0.469score
bmad-domain-research
jakebutler
Conduct domain and industry research.
SkillCFreshness: CClaude Code +9 - 0.469score
bmad-market-research
jakebutler
Conduct market research on competition and customers.
SkillCFreshness: CClaude Code +9 - 0.466score
bmad-agent-tech-writer
jakebutler
Technical documentation specialist and knowledge curator.
SkillCFreshness: CClaude Code +9 - 0.464score
bmad-create-prd
jakebutler
DEPRECATED — consolidated into bmad-prd create intent - this skill will be removed in v7 in favor of `bmad-prd`.
SkillCFreshness: CClaude Code +9
Signals
- Stars
- 0
- Forks
- 0
- Open issues
- 21
- Last commit (this folder)
- Jul 13, 2026 (3 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- License unknown
- Repository
- github.com/jakebutler/skills
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from jakebutler
- 0.474score
bmad-prfaq
jakebutler
Working Backwards PRFAQ challenge to forge product concepts.
SkillCFreshness: CClaude Code +9 - 0.469score
codex-computer-use
jakebutler
Ask Codex CLI (gpt-5.5) to run lower-db local app verification that needs browser automation, screenshots, app launching, simulator/device state, or…
SkillCFreshness: CClaude Code +9 - 0.469score
publish-slice
jakebutler
Stage a lower-db slice by explicit file paths, commit on a codex/<slug> branch, push, open a PR with the house body template, then own the checks/review loop…
SkillCFreshness: CClaude Code +9 - 0.469score
wrap-session
jakebutler
End-of-session docs ritual for lower-db: prepend a dated changelog entry, overwrite project-status.md with current git state and next-session pick-up point…
SkillCFreshness: CClaude Code +9 - 0.469score
codex-review
jakebutler
Ask Codex CLI (gpt-5.5) for an independent lower-db code review of uncommitted changes, a branch diff, a commit, or a specific implementation.
SkillCFreshness: CClaude Code +9 - 0.469score
codex-implementation
jakebutler
Ask Codex CLI (gpt-5.5) to implement a bounded lower-db code slice in an isolated repo/worktree, then have Claude/Fable inspect the diff and run verification.
SkillCFreshness: CClaude Code +9
Cite this page
prove skill. Agent Mart. https://agentmart.dev/skills/jakebutler-prove (last updated 2026-10-24)