design-verification-ladder
Design code so it can be shown correct, and verify it by climbing from small, fast techniques (types, assertions, unit and property tests, fuzzing) to large…
Skill by vic-lsh
Chalk Labs
Need help deploying design-verification-ladder?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
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/vic-lsh-design-verification-ladder
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: design, frontend, writing
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/design-verification-ladder
What's inside
- Skill name
design-verification-ladder- Description
- Design code so it can be shown correct, and verify it by climbing from small, fast techniques (types, assertions, unit and property tests, fuzzing) to large ones (deterministic simulation, model checking, end-to-end, replay, live runs). Use when designing a component or interface, planning how a change will be verified, deciding whether a change is ready for an expensive run, writing a brief that must state its verification, or analyzing a bug that escaped to a costly stage.
- License
- unknown
- Instructions
- 61 lines in SKILL.md · view on GitHub
Files (11)
- SKILL.md
- design-boundary-recording.md · references/
- design-deterministic-core.md · references/
- design-explicit-state.md · references/
- design-fault-seams.md · references/
- design-idempotent-restartable.md · references/
- design-injected-nondeterminism.md · references/
- design-narrow-io-interfaces.md · references/
- design-observable-decisions.md · references/
- design-scalable-time.md · references/
- techniques.md · references/
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from vic-lsh/agent-skills
- 0.565score
orchestrate-agents
vic-lsh
Run a long multi-agent engineering effort as an orchestrator that steers and does not implement.
SkillAFreshness: AClaude Code +9 - 0.560score
maintain-skills
vic-lsh
Add, edit, split or clean up an agent skill, or record a lesson about how to do a kind of task.
SkillAFreshness: AClaude Code +9 - 0.559score
progress-update
vic-lsh
Give the user a high-level progress update on a multi-agent effort they asked you to orchestrate, covering everything since their last requested update, plus…
SkillAFreshness: AClaude Code +9 - 0.559score
handoff
vic-lsh
Write or read a compact handoff document so a fresh agent can continue a chunk of work without re-reading what the previous agent already learned.
SkillAFreshness: AClaude Code +9 - 0.528score
wtf
vic-lsh
Ask for the last explanation again in simpler technical terms.
SkillAFreshness: AClaude Code +9
Signals
- Stars
- 0
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Oct 24, 2026 (8 days ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- License unknown
- Repository
- github.com/vic-lsh/agent-skills
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from vic-lsh
- 0.565score
orchestrate-agents
vic-lsh
Run a long multi-agent engineering effort as an orchestrator that steers and does not implement.
SkillAFreshness: AClaude Code +9 - 0.560score
maintain-skills
vic-lsh
Add, edit, split or clean up an agent skill, or record a lesson about how to do a kind of task.
SkillAFreshness: AClaude Code +9 - 0.559score
progress-update
vic-lsh
Give the user a high-level progress update on a multi-agent effort they asked you to orchestrate, covering everything since their last requested update, plus…
SkillAFreshness: AClaude Code +9 - 0.559score
handoff
vic-lsh
Write or read a compact handoff document so a fresh agent can continue a chunk of work without re-reading what the previous agent already learned.
SkillAFreshness: AClaude Code +9 - 0.528score
wtf
vic-lsh
Ask for the last explanation again in simpler technical terms.
SkillAFreshness: AClaude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get design-verification-ladder running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
design-verification-ladder skill. Agent Mart. https://agentmart.dev/skills/vic-lsh-design-verification-ladder (last updated 2026-10-24)