eisbaw

LinkedIn-specific PII scanner. Scans tracked files for LinkedIn profile URNs, member IDs, session cookies, real names in JSON, vanity URLs, and message URNs. Run before pushing.

Browser-based API reverse engineering using Chrome DevTools MCP. Use when you need to navigate a web app, capture network traffic, save HAR files, and analyze backend API patterns. Runs as a sub-agent to avoid polluting the main context window with verbose browser output.

Control graphical terminals via tmux for testing TUI applications. Use when you need to start a kitty window, run commands in it, capture screen output, or take rapid snapshots of terminal state. Useful for debugging TUI apps, observing startup sequences, or testing interactive programs.

Run a UX walking tour of the Teams TUI application via kitty+tmux. Launches the TUI, takes rapid snapshots during startup, navigates all major UI areas (sidebar, messages, compose, help, debug log, search), captures screenshots at each step, then reports all glitches and UX bugs found. Creates a backlog task for each issue. Use this as a quality assurance check after TUI changes.

Reverse engineering workflow for libgraph_server_shared.so. Use when decompiling functions, analyzing USB captures, validating hypotheses against pcap/hardware, or documenting RE findings. Covers Ghidra headless usage, address translation, documentation tiers, and the hypothesis-to-knowledge pipeline.

Lean 4 proof assistant for Clift validHoare proofs. Knows all tactics, patterns, pitfalls, kernel depth workarounds, and file-splitting strategies for eliminating sorry in L1 monadic proofs.

Work with ologs (ontology logs) — category-theoretic knowledge representation. Use when the user wants to create, validate, visualize, verify, or analyze domain models as ologs.