Skills
verify-and-stop
by JuliusBrussee
🪨 why use many token when few token do trick. Viral skill + proxy for coding agents that cuts 65% of tokens by talking like a caveman.
Our verdict
We have not reviewed verify-and-stop yet
No one at Enterprise DNA has checked this listing against its sources. The description comes from public listings gathered automatically. Any fact below shows where it came from and when it was last checked.
From the listing
About verify-and-stop
A skill and proxy for coding agents that reduces token usage by approximately 65% by instructing the agent to communicate in a terse, caveman-like style. It is written in Go and designed to be integrated into agent workflows to minimize verbose output.
Best for
Developers running high-volume coding agent tasks who want to cut token costs without sacrificing functionality.
Use cases
- Reduce token consumption in coding agent interactions
- Streamline agent output for concise command execution
- Optimize large-scale agent runs with high token costs
Notes
115,205 stars on GitHub. Last updated 2026-10-26. Licensed Apache-2.0.
Pros
- Significant token reduction (65%)
- Simple to integrate as a skill or proxy
- Lightweight, written in Go
Cons
- May reduce clarity in complex explanations
- Not suitable for tasks requiring detailed reasoning
- Limited to agents that support custom skills or proxies
Key facts
What we have checked
- Installs
- 103.5K
Each value shows when we last confirmed it and where it came from. Values we have not confirmed are left out, never guessed.
Health and security
Is verify-and-stop looked after, and what do its setup files show
Security check static checks
100 out of 100
- Note No dependency list or install command was found in the skill, so there were no packages to look up on OSV.
Sources
Where this comes from
- skills.shThird party
A source shows what was published when we checked it. It does not certify security, performance or a working installation. Read our method.
Changelog
What changed
No changes recorded yet. Releases, price changes and deprecations appear here, with their dates, once we track them for this record.
Pairs with
Other entries in the index that connect to this one. Click through to see the chain.
agentic-browser-testing
petrkindlmann
50 QA and test-automation skills for Claude Code, Codex, Cursor, and any Agent Skills Standard runtime.
bmad-tea-teach-me-testing
bmad-code-org
Test Architect Full BMad Method Enhancement
bug-reproduction
petrkindlmann
50 QA and test-automation skills for Claude Code, Codex, Cursor, and any Agent Skills Standard runtime.
create-formal-verification-skill
michael-denyer
Claude Code, Codex, Copilot, Pi, OpenCode, Muse, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses
create-verification-skill
michael-denyer
Claude Code, Codex, Copilot, Pi, OpenCode, Muse, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses
Get the free Developer’s Field Guide
A 27-page field guide to the AI coding workflow with Claude. Claude Code, MCP servers, the prompt patterns that work, and what to delegate. Free.
Enter your work email. We send it straight over, plus a few short notes worth knowing. Unsubscribe any time.