Add Agda typecheck skill + SessionStart hook for Claude Code on the web#1220
Closed
williamdemeo wants to merge 3 commits into
Closed
Add Agda typecheck skill + SessionStart hook for Claude Code on the web#1220williamdemeo wants to merge 3 commits into
williamdemeo wants to merge 3 commits into
Commits
Commits on Jun 25, 2026
- authored andcommitted
- authored andcommitted
- committed
