Find a skill to use

Reusable strategy for bridging two already-formalized abstraction layers in a proof assistant project.

Use when a user wants to analyze local AI assistant session history for concepts, terms, jargon, APIs, or mental models they asked AI to explain, then produce a privacy-safe knowledge-gap digest, review plan, or recurring learning backlog without sharing raw transcripts.

Use when a user wants to analyze local AI coding assistant session patterns and turn aggregate focus, friction, and repeated workflows into SkillFab skill request drafts without sharing raw transcripts.

Build polished, self-contained interactive HTML/SVG diagrams from nodes, edges, views, descriptions, and links. Use when Codex needs to create a clickable architecture diagram, flowchart, system map, research map, or technical-blog figure that works in a browser without a frontend framework.

Design, implement, and debug publication-ready interactive research architecture maps for technical blogs and research notes. Use when Codex needs to organize related papers by mathematical role, turn a static architecture diagram into clickable HTML/SVG, map citations onto a non-serial topology, distinguish pipeline factorization from CNN/Transformer backbones and diffusion/flow inference semantics, or integrate and validate such a figure in Markdown, Jekyll, or GitHub Pages.

Use when preparing, executing, observing, or diagnosing an OS/kernel boot on physical development hardware through firmware, a bootloader, or serial transport, especially when emulator evidence, artifact identity, recovery availability, one-shot boot commands, or early-boot silence must be handled safely.