fmhall

Use when fixing merge conflicts on agent PRs, rebasing stale branches, or deciding whether to salvage vs. redo a PR. Also use when a rebase/fix-PR plan issue is claimed.

Standard claim/branch/verify/publish workflow for pod agent sessions. Read this skill at the start of any feature, review, summarize, or meditate session.

Use when Lean 4 proofs involve ByteArray, Array, List indexing, getElem, length lemmas, take/drop, or roundtrip proofs over byte collections.

Use when proving that Lean 4 functions preserve existing bytes (prefix/content preservation), compose getElem_lt proofs through recursive structures, prove append-only buffer invariants, or characterize what new bytes a function produces (raw extract, RLE all-equal, element-wise correspondence).

Use when Lean 4 gives "motive is not type correct", max recursion on List.ofFn, rewriting fails due to dependent types, or cross-file visibility issues with private/protected.

Use when Lean 4 proofs involve fuel-based recursion, proving fuel independence, loop invariants, copyLoop-style patterns, suffix/append extension lemmas, or maxRecDepth/maxHeartbeats tuning.

Use when working on Lean 4 proofs involving Option or Except monad, do-notation unfolding, guard patterns, bind handling, join points, forIn loops in specifications, or Id monad loop invariants (Id.run do with for loops).

Use when a Lean 4 tactic fails or is unavailable — such as ring, set, push_neg, by_contra, field_simp, rcases, norm_num, or obtain — because this project does not use Mathlib.

Enrich people in a knowledge graph or wiki with contact and social media information — LinkedIn, email, phone, Twitter/X — using premium enrichment APIs via the agentcash CLI. Use this skill when the user wants to enrich contacts, find someone's LinkedIn or email, fill in missing contact info for people in their wiki or knowledge base, or says 'enrich', 'find contact info', 'look up LinkedIn', 'fill in missing info', or anything about augmenting people/contact pages with external data.

Export and import iMessage conversations into a knowledge base. Uses imessage-exporter to pull recent conversations from the macOS Messages database, then analyzes them to create or update people pages. Use when the user wants to import iMessage data, says 'imessage export', 'import messages', 'text messages', 'imessage', or wants to add personal contacts from their messaging history.

Import LinkedIn connections into a knowledge base. Walks the user through exporting their data from LinkedIn, then processes the connections CSV to create people pages. Use when the user wants to import LinkedIn contacts, says 'linkedin export', 'import linkedin', 'linkedin connections', or wants to add their professional network to the wiki.

Compile personal data (journals, notes, messages, bookmarks, exports) into a personal knowledge wiki. Ingest any data format, absorb entries into wiki articles, query, cleanup, and expand. Use when the user provides sources to process, asks questions about the wiki, or wants to maintain wiki quality.

Reference guide for 56 canonical laws, principles, and heuristics of software engineering — Conway's Law, Brooks's Law, Hyrum's Law, YAGNI, DRY, SOLID, CAP theorem, and more. Triggers when discussing architectural trade-offs, team scaling, process design, code quality principles, or decision-making heuristics, to provide succinct historically-grounded guidance.

Reference guide for 30 canonical laws, principles, and effects of user experience design — Hick's Law, Fitts's Law, Jakob's Law, Miller's Law, Peak-End Rule, the Gestalt principles, and more. Triggers when discussing interface trade-offs, usability decisions, information architecture, attention and memory constraints, or persuasive design heuristics, to provide succinct evidence-grounded guidance.

Create or restyle frontend interfaces in a paperclip punk editorial-technical style inspired by old computer manuals, monochrome print layouts, electric-blue blueprint line art, pixel labels, dense serif text, and diagram-heavy web pages like Making Software. Use when the user asks for this style, a retro technical manual aesthetic, blueprint editorial UI, or to paperclip-punkify a page or app.

Activate autonomous work mode for a fixed duration when the user steps away. Use this whenever the user invokes /stepping-away with a minutes argument (e.g., "/stepping-away 5"), or says natural variants like "afk for 10", "stepping out for 5 — keep going", "be back in N min, keep working", "bio break, continue without me". Sets up a deadline-bounded autonomous loop using Monitor (heartbeat + stop signal) and ScheduleWakeup (self-paced continuous-work engine), so Claude keeps making forward progress on the in-flight task until the timer expires, then halts cleanly with a summary. Do NOT use this for indefinite background work, ralph-style infinite loops, or anything not anchored to a specific user step-away — this skill is bounded by wall-clock and tied to the user being temporarily AFK.