All authors
Claude Skills by coder
github.com/coder5 skills0 installs0 views
- Verify Claudecode NvimDrive the real claudecode.nvim plugin in a real Neovim (an agent-tty terminal) while a scripted WebSocket client (scripts/ws-client.mjs) plays the Claude Code CLI over the plugin's WebSocket MCP server, and capture screen text, PNG screenshots, WebM video, JSON-RPC traffic, and file state as evidence. Use to prove a claudecode.nvim feature works end to end (openDiff accept/reject, openFile, selection tracking, :ClaudeCodeSend at-mentions, closing diffs, the Claude terminal commands, the edito...Votes: 0GitHub stars: 3,158
- Verify Diff LifecycleModel-check the claudecode.nvim openDiff answer lifecycle (TLA+/TLC) against guards read from the current Lua code. Use after a change to how diffs are resolved, replaced, closed, or answered, or to how openDiff is called (lua/claudecode/diff.lua, diff_inline.lua, server/init.lua, server/client.lua, tools/init.lua, tools/open_diff.lua, tools/close_tab.lua, tools/close_all_diff_tabs.lua, the :ClaudeCodeCloseAllDiffs command in init.lua), and before trusting such a change.Votes: 0GitHub stars: 3,158
- Verify Mention QueueModel-check the claudecode.nvim @ mention queue and the WebSocket clients it sends to (TLA+/TLC) against guards read from the current Lua code. Use after a change to how @ mentions are queued, flushed, timed out, or dropped, to when a client counts as connected or ready, to how a broadcast reports its writes, or to what a stop does to the queue (lua/claudecode/init.lua send_at_mention, _broadcast_at_mention, queue_mention, schedule_mention_flush, flush_mention_queue, expire_mentions, ms_until...Votes: 0GitHub stars: 3,158
- Verify Selection TrackingModel-check what Claude sees as the user's current selection in claudecode.nvim (TLA+/TLC) against guards read from the current Lua code, and replay paths on headless Neovim. Use after a change to selection tracking (lua/claudecode/selection.lua, its enable/disable calls in lua/claudecode/init.lua, server.broadcast or on_connect in lua/claudecode/server/init.lua, or the getCurrentSelection and getLatestSelection tools), to the debounce or demotion timers, the visual-exit flush, or held-select...Votes: 0GitHub stars: 3,158
- Verify Terminal LifecycleModel-check the claudecode.nvim Claude terminal lifecycle (TLA+/TLC) against guards read from the current Lua code - the native and snacks providers, the code that finds a Claude after a plugin reload, and the provider choice (lua/claudecode/terminal.lua, terminal/native.lua, terminal/snacks.lua, terminal/owned.lua, and the terminal commands and send_at_mention in init.lua). Use after a change to how the Claude terminal is started, shown, hidden, closed, adopted, or cleaned up after Claude ex...Votes: 0GitHub stars: 3,158