All authors
Claude Skills by OutlineDriven
github.com/OutlineDriven865 skills3 installs846 views
- Work Records SummaryUse when the user asks to discover, group, and summarize work records across multiple systems for a given period or project. Not for organizing projects into child documents or local-only summaries.Votes: 0GitHub stars: 54
- Writing Isabelle ProofsUse when a proof needs Isabelle/HOL, its Sledgehammer automation, or an AFP session. Not for Lean 4: use writing-lean-proofs.Votes: 0GitHub stars: 54
- Writing Rocq ProofsUse when a proof needs Rocq (formerly Coq), including legacy Coq codebase maintenance and migration through the Coq to Rocq rename. Not for Lean 4: use writing-lean-proofs.Votes: 0GitHub stars: 54
- Writing Tla Plus SpecsUse when a protocol, concurrent algorithm, or design needs a model-checked TLA+ or Alloy spec, or a TLC or Apalache trace needs reading. Not for choosing when to model: use validation-first-driven.Votes: 0GitHub stars: 54
- ZephyrUse when building a Zephyr app with west, picking a board target, editing prj.conf or a devicetree overlay, adding logging, running on native_sim, or using west debug. Not for FreeRTOS: use freertos.Votes: 0GitHub stars: 54
- Zig Build SystemUse when writing or fixing a build.zig: executables, libraries, modules, C sources, build options, test steps, custom steps, or build.zig.zon dependencies. Not for one-file builds: use zig-compiler.Votes: 0GitHub stars: 54
- Zig CinteropUse when Zig code calls C or C code calls Zig: @cImport, translate-c, C type mapping, extern and packed structs, export fn, opaque handles, or a mixed C and Zig build. Not for Rust FFI: use rust-ffi.Votes: 0GitHub stars: 54
- Zig CompilerUse when invoking zig directly: build-exe, build-lib, optimize modes, zig cc as a C compiler, emit flags, ast-check, fmt, or a Zig compile error. Not for build.zig projects: use zig-build-system.Votes: 0GitHub stars: 54
- Zig ComptimeUse when Zig code needs compile-time evaluation: comptime parameters, generic types, anytype, @typeInfo reflection, comptime tables, or a ported C++ template pattern. Not for C++: use cpp-templates.Votes: 0GitHub stars: 54
- Zig CrossUse when building Zig or C for another platform with Zig: target triples, -mcpu features, zig cc cross-compiles, multi-target build.zig, bare-metal Cortex-M, or WebAssembly. Not GCC: use cross-gcc.Votes: 0GitHub stars: 54
- Zig DebuggingUse when a Zig program panics, returns an error trace, or needs stepping in GDB or LLDB, print or std.log tracing, or a comptime value printed. Not for compiler flags: use zig-compiler.Votes: 0GitHub stars: 54
- Zig TestingUse when writing or running Zig tests: test blocks, zig test, filters, std.testing assertions, the leak-detecting allocator, comptime tests, or the fuzzer. Not for build.zig: use zig-build-system.Votes: 0GitHub stars: 54
- Abstract WellUse when the user wants to classify abstractions as useful, bad, or busy and keep one shallow level. Not for tasks requiring source or remote-system changes.Votes: 0GitHub stars: 52
- Address SanitizerUse when building or running native code under AddressSanitizer, or when interpreting an existing ASan report. Instruments C/C++ or Rust unsafe/FFI targets, sets ASAN_OPTIONS for fuzzer integration, and classifies each reported error with its faulting and allocation sites. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- AflppUse when the user needs to set up and run an AFL++ fuzzing campaign for a C/C++ target. Compiles with LTO, LLVM, or GCC instrumentation, runs single or multi-core campaigns, triages crashes, and minimizes the corpus. Requests explicit approval before system-level changes. Not for libFuzzer harness campaigns — use libfuzzer.Votes: 0GitHub stars: 52
- Agent Environment RetrospectiveUse when a completed session needs an agent-environment retrospective. Not for an engineering retrospective from telemetry: use engineering-retrospective.Votes: 0GitHub stars: 52
- Agent Surface ForgeUse when asked to audit or repair agent surfaces (plugins, agents, skills, CLAUDE.md/AGENTS.md, docs, prompts, commands, hooks) or improve one skill at depth. Not for agent grading: use skill-doctor.Votes: 0GitHub stars: 52
- Agent TranscriptUse when a redacted, trimmed agent transcript must be appended to a GitHub PR or issue body, with human approval and preview. Not for automated or model-initiated insertion.Votes: 0GitHub stars: 52
- Agents MdUse when a repo needs agent setup, AGENTS.md added or made lean, CLAUDE.md audited, or agent instructions scored or pruned. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Ai Collab ProtocolsUse when the user describes an AI workflow gap or uses an ambiguous cross-session reference such as ''the PR Bob mentioned''. Not for tasks that require source or remote-system changes.Votes: 0GitHub stars: 52
- All Scenarios StormUse when a user wants to enumerate plausible designs, configurations, scenarios, and paths and diagram the field before choosing. Produces an exhaustive enumerated field and a diagram before any choice. Don''t use for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Analysis ArtifactsUse when the user requests a deep dive, exploratory analysis, or data analysis on BigQuery. Not for credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Api And Interface DesignUse when asked to design or change a public API, route, CLI flag, or module boundary. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Append Run LogUse when a completed agent run must be recorded as durable, queryable evidence. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- ArchitectUse when non-trivial code needs a design, codebase design or architecture needs improving, or one module needs targeted interface narrowing, seams, or testability. Not for diagrams, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Architecture DiagramUse when the user asks to visualize an architecture as a self-contained HTML artifact with a hash-bound receipt. Also handles delta mode: comparing two snapshots, rendering what changed when both are supplied. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- ArticulateUse when the user knows what they mean but cannot express it completely or clearly. Not for discovery, ideation, or style-only editing: use unslop for style.Votes: 0GitHub stars: 52
- Artifact ArenaUse when asked to run /artifact-arena to generate and judge competing artifact implementations. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- AskmeUse when eliciting intent/scope/referents or gating long/bundled/high-stakes/hard-to-undo work: exhaustive/collaborative/adversarial/gate/batch/interview/scan/proposal. Not for one fork: use decide.Votes: 0GitHub stars: 52
- Ast GrepUse when asked to run AST-based structural search, lint, or rewrite of code when regex is too fragile. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- AtherisUse when a user needs to run coverage-guided fuzzing with Atheris against Python code or a Python native extension. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Atomic Issues PrsUse when the user says "atomic PRs" or requests one issue or PR per logical change. Don''t use for single-change pushes or uncommitted change-sets.Votes: 0GitHub stars: 52
- Attack ShapeUse when the user wants adversarial stress-testing of a proposed architecture, structure, or shape. Not for tasks that require source or remote-system changes.Votes: 0GitHub stars: 52
- Audit Loop ScaffoldUse when loop scaffold files have drifted from their provenance-pinned templates. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Audit ProjectUse when the user says "audit my code", "find all the bugs", "review until clean", or "grill my changes". Not for remote, credential, or irreversible changes.Votes: 0GitHub stars: 52
- AutolearnUse when a verified non-trivial fix lands or existing solution docs need refresh. Not for unverified fixes.Votes: 0GitHub stars: 52
- Automate MeUse when asked to create or refresh a personal mode skill and open a reviewable PR. Not for shared repo skills or work that skips human approval.Votes: 0GitHub stars: 52
- Automatic Cybernetic Flow DesignUse when the user wants a cybernetic flow design document for an interactive system. Not for implementing or deploying the system.Votes: 0GitHub stars: 52
- Automatic Freeform Graphs DesignUse when a user wants a looser conceptual graph for exploratory work. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- AutopilotUse when a human has an approved delivery plan and wants the full chain run under phase gates. Not for planning, open-ended debugging, or single-step execution: use work directly.Votes: 0GitHub stars: 52
- AutoplanUse when the user runs /autoplan on a plan or idea. Reviews, amends, and derives task IDs with a final human approval gate. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- AutoshipUse when the user says release this, publish this package, or cut a release for a changesets-based npm package. Not for non-npm packages or releases without a changesets workflow.Votes: 0GitHub stars: 52
- Ax AuditUse when asked to audit an agent or AI feature for agentic-experience quality (AX review, agent-native critique, trust question). Not for source or remote-system changes.Votes: 0GitHub stars: 52
- Axiom ModeUse when the user requests axiom, axiom-mode, axiom-compact, formal-logic, or compact form. Not for changing code or remote state.Votes: 0GitHub stars: 52
- BacklogUse when asked to park an undecided idea without representing it as decided or active work. Not for decided or active work: use the project task system.Votes: 0GitHub stars: 52
- Batch Ask MeUse when the user faces multi-fork decisions or unresolved prerequisites. Maps a decision tree and asks its frontier as batched single-select questions until shared understanding is confirmed. Also handles "batch questions". Not for one-at-a-time interviews — use interview-me.Votes: 0GitHub stars: 52
- Behavior ValidatorUse when asked to validate a web app, CLI, API, or generated artifact against a source-blind behavior contract. Not for source or remote-system changes.Votes: 0GitHub stars: 52
- Blast RadiusUse when asked to determine what a change could break before it ships. Not for remote, credential, publish, deploy, or irreversible changes.Votes: 0GitHub stars: 52
- Book To SkillUse when the user names one book, course, paper, or source document and asks to distill it into a reusable skill. Not for a folder of sources: use map-corpus.Votes: 0GitHub stars: 52
- BrainstormUse when the user begins knowledge work with notes, a transcript, or a brain dump, asks for divergent ideas (mode: ideate), or wants options shown in a local browser (mode: visual).Votes: 0GitHub stars: 52