verify-decision-contract
Verify pstack JEV decision routing, bounded real-code safety invariants, canonical source parity and rollback when those covered surfaces change.
Skill by tommy-ca
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/tommy-ca-verify-decision-contract
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: documents, agent-building
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 and code. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
- Runs as
- Shell scripts
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/verify-decision-contract
What's inside
- Skill name
verify-decision-contract- Description
- Verify pstack JEV decision routing, bounded real-code safety invariants, canonical source parity and rollback when those covered surfaces change.
- License
- NOASSERTION
- Instructions
- 67 lines in SKILL.md · view on GitHub
Before installing
- Ships executable scripts
Agent Skills spec issues
- files: referenced but missing: scripts/route_resolver.py, scripts/verify-decision-contract.py, references/decision-routing.json, references/calibrated-evidence.json
Files (9)
- SKILL.md
- README.md · features/
- bounded-invariants.md · features/
- canonical-routing.md · features/
- contract-spec.md · features/
- decision-adapter.md · features/
- offline-eval.md · features/
- rollback-equivalence.md · features/
- driver.sh · scripts/
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from tommy-ca/pstack
- 0.615score
create-verification-skill
tommy-ca
Use when a project has no scripted way to prove UI, CLI, or service behavior, or for /create-verification-skill or "make a control skill for this repo".
SkillAFreshness: A★ 5Claude Code +9 - 0.615score
verify-pstack
tommy-ca
Use when verifying this pstack Grok plugin, leftover Cursor harness call sites may still be live (leftover-scanner is Cursor harness token doctor), plugin…
SkillAFreshness: A★ 5Claude Code +9 - 0.614score
babysit
tommy-ca
Watch an open PR — fix failing CI, handle straightforward review comments, and drive it to a mergeable state.
SkillAFreshness: A★ 5Claude Code +9 - 0.611score
benny-triage
tommy-ca
Triage one Slack issue report.
SkillAFreshness: A★ 5Claude Code +9 - 0.611score
benny-repro
tommy-ca
Reproduce a trusted Benny marker through the real UI and open a draft PR only after proof.
SkillAFreshness: A★ 5Claude Code +9 - 0.591score
architect
tommy-ca
Sketch types, signatures, and module structure before code, then stay in the loop while implementation fills in.
SkillAFreshness: A★ 5Claude Code +9 - 0.589score
figure-it-out
tommy-ca
Design an auditable playbook when no narrower one fits: a large migration, an ambitious multi-part change, or work a human reviews after stepping away.
SkillAFreshness: A★ 5Claude Code +9 - 0.586score
automate-me
tommy-ca
Use for "automate me", "create/update/refresh my -mode skill", "turn/capture my preferences or working style into a skill", or wanting agents to follow how…
SkillAFreshness: A★ 5Claude Code +9 - 0.582score
arena
tommy-ca
Spawn N parallel candidates at the same task, pick a base, graft the strongest parts of the losers into it.
SkillAFreshness: A★ 5Claude Code +9
Signals
- Stars
- 5
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Oct 21, 2026 (8 days ago)
- Last release
- Sep 30, 2026 (29 days ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- NOASSERTION
- Repository
- github.com/tommy-ca/pstack
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from tommy-ca
- 0.615score
create-verification-skill
tommy-ca
Use when a project has no scripted way to prove UI, CLI, or service behavior, or for /create-verification-skill or "make a control skill for this repo".
SkillAFreshness: A★ 5Claude Code +9 - 0.615score
verify-pstack
tommy-ca
Use when verifying this pstack Grok plugin, leftover Cursor harness call sites may still be live (leftover-scanner is Cursor harness token doctor), plugin…
SkillAFreshness: A★ 5Claude Code +9 - 0.614score
babysit
tommy-ca
Watch an open PR — fix failing CI, handle straightforward review comments, and drive it to a mergeable state.
SkillAFreshness: A★ 5Claude Code +9 - 0.611score
benny-triage
tommy-ca
Triage one Slack issue report.
SkillAFreshness: A★ 5Claude Code +9 - 0.611score
benny-repro
tommy-ca
Reproduce a trusted Benny marker through the real UI and open a draft PR only after proof.
SkillAFreshness: A★ 5Claude Code +9 - 0.591score
architect
tommy-ca
Sketch types, signatures, and module structure before code, then stay in the loop while implementation fills in.
SkillAFreshness: A★ 5Claude Code +9
Cite this page
verify-decision-contract skill. Agent Mart. https://agentmart.dev/skills/tommy-ca-verify-decision-contract (last updated 2026-10-24)