Skills
.Work. You
Rest

godebug-verify

Official

Prove code correctness at runtime.

Software Engineering#debugging#verification#concurrency#runtime#Go#godebug
Author8gears
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Proactive runtime verification helps AI agents confirm Go code behaves as intended before marking work complete, reducing reliance on static tests and reviews.

Core Features & Use Cases

  • Proactive verification mindset for Go code, focusing on runtime validation for concurrency, error propagation, and control flow.
  • HAEC protocol (Hypothesis → Assertion → Execution → Conclusion) guiding step-by-step verification.
  • Integrated with the godebug tool to set breakpoints, inspect state, and validate outcomes for code generated by AI or manual development.

Quick Start

Start a verification session by launching your Delve-based debugger and connecting to a running process: godebug --addr $ADDR restart Set an assertion point: godebug --addr $ADDR break "sync.(*WaitGroup).Add" Continue to the assertion: godebug --addr $ADDR continue Inspect values: godebug --addr $ADDR eval "err" Decide and conclude: godebug --addr $ADDR continue Conclusion is drawn from the observed outputs; never mark code done until CONFIRMED.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: godebug-verify
Download link: https://github.com/8gears/godebug-agentic/archive/main.zip#godebug-verify

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.