Menu
Regenerate C# snapshot tests and spy stdlib after intentional codegen changes
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Suggest and apply a semver version bump based on commits since the last tag
Push current branch to remote origin
Scaffold a new Sharpy.Stdlib module (spy-sourced or handwritten C#) with all required files, conventions, docs, and tests
Implement a plan with a coordinated agent team
Run compiler or cross-language benchmarks and compare results
Stress-test property tests across many rounds to find rare bugs. Each round uses fresh random seeds.
| name | regenerate-snapshots |
| description | Regenerate C# snapshot tests and spy stdlib after intentional codegen changes |
Regenerate all generated artifacts after intentional codegen changes:
.expected.cs snapshot files for file-based integration tests.spy stdlib generated C# files (src/Sharpy.Stdlib/)Usage: /regenerate-snapshots
Behavior:
build_tools/regenerate_spy_stdlib.shUPDATE_SNAPSHOTS=true and runs file-based integration tests to update snapshotsWarning: This modifies .expected.cs and stdlib .cs files. Review the changes with git diff afterwards.
Log location: .claude/tmp/last-snapshot-regen.log
Workflow:
/regenerate-snapshots to update all generated artifactsgit diff to review changesgit add . && git commitgit checkout -- src/**/*.expected.cs src/Sharpy.Stdlib/mkdir -p .claude/tmp to ensure log directory existsrm -f .claude/tmp/last-snapshot-regen.logdotnet build sharpy.sln --nologo -v q >> .claude/tmp/last-snapshot-regen.log 2>&1. If build fails, print "=== BUILD FAILED — cannot regenerate ===" then tail -30 .claude/tmp/last-snapshot-regen.log and stop.bash build_tools/regenerate_spy_stdlib.sh >> .claude/tmp/last-snapshot-regen.log 2>&1. If it fails, print "=== STDLIB REGENERATION FAILED (last 30 lines) ===" then tail -30 .claude/tmp/last-snapshot-regen.log and stop.UPDATE_SNAPSHOTS=true dotnet test --filter "FullyQualifiedName~FileBasedIntegrationTests" --no-build >> .claude/tmp/last-snapshot-regen.log 2>&1tail -30 .claude/tmp/last-snapshot-regen.logtail -80 .claude/tmp/last-snapshot-regen.log, then echo "=== Full log: .claude/tmp/last-snapshot-regen.log ==="