Individual skill
state-snapshot-instrumenter
Instrument programs (Python, C/C++, Java) to capture snapshots of key program states at runtime, including variables, memory, and call stacks. Use when you need to debug complex issues, reproduce test cases, prepare traces for formal verification, or analyze program execution. Supports manual instrumentation points, automatic function/method instrumentation, and conditional triggers. Outputs structured JSON snapshots for debugging, replay, and verification workflows.
skills/state-snapshot-instrumenter/SKILL.md
Source commit 4f38503747e0617504bce5329283ef837d375c09
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- No
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Not checked yet
- Last checked
- Nov 6, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 259
- Repository last updated
- Aug 21, 2026
- License
- Apache-2.0
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- claude-skills Repository topic
- metaprogramming Repository topic
- software-development Repository topic
- software-engineering Repository topic
- claude Repository topic
- claude-code Repository topic
- testing Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesSKILL.mdcore · 8,875 bytesassets/example_c.casset · 445 bytesassets/example_java.javaasset · 553 bytesassets/example_python.pyruns · 422 bytesassets/snapshot_schema.jsonasset · 3,119 bytesreferences/instrumentation_guide.mddoc · 6,355 bytesreferences/snapshot_format.mddoc · 5,766 bytesreferences/use_cases.mddoc · 8,298 bytesscripts/SnapshotRuntime.javaasset · 7,924 bytesscripts/analyze_snapshots.pyruns · 6,096 bytesscripts/instrument_c.pyruns · 5,379 bytesscripts/instrument_java.pyruns · 5,017 bytesscripts/instrument_python.pyruns · 5,826 bytesscripts/snapshot_runtime.casset · 4,887 bytesscripts/snapshot_runtime.hasset · 1,347 bytesscripts/snapshot_runtime.pyruns · 4,837 bytes
Read excerpt
# State Snapshot Instrumenter
## Overview
This skill instruments programs to capture snapshots of key program states at runtime. Snapshots include variable values, memory state, call stacks, and execution context, saved in structured JSON format for analysis, debugging, reproduction, and verification.
## Quick Start
### Basic Workflow
1. **Add snapshot markers** to your code (manual mode) or use automatic instrumentation
2. **Run the instrumenter** to generate instrumented code
3. **Execute the instrumented program** to capture snapshots
4. **Analyze snapshots** to understand program behavior