GitHub
fstar
F* proof-oriented programming language for verified software development. Use when: (1) writing or verifying F* code (.fst/.fsti files), (2) understanding verification errors from Z3/SMT, (3) learning dependent...
☆ 0View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
GitHub
aws-cli
AWS CLI commands for dev/stage/prod environments. Use when running any aws CLI command, interacting with S3, Lambda, Glue, Athena, CloudWatch, or other AWS services. Ensures correct profile and region are use...
☆ 0View skill
GitHub
learning-style
Learning-mode output style that mixes interactive coding with concise educational explanations. Use when the user asks for "learning mode", wants to co-write code, or requests a teaching/mentoring style: ask th...
☆ 0View skill
GitHub
claude-scripts
CLI to search Claude Code conversation history by tool, pattern, or time, and export results.
☆ 0View skill
GitHub
jujutsu
Jujutsu (jj) version control commands. Use when working in a jj repository, running version control operations, viewing commit history, managing bookmarks (branches), creating or splitting commits, pushing to...
☆ 0View skill
GitHub
using-linear
Use when working with Linear tickets/issues - establishes workflows for creating and updating tickets (issues)
☆ 0View skill
GitHub
athena-queries
Run AWS Athena queries against telemetry data. Use when executing SQL against telemetry-parser-db (raw Parquet from telemetry-parser-service) or telemetry_alerts (DBT-transformed tables). Also for Glue catalo...
☆ 0View skill
GitHub
github-actions-runs
Automate and inspect GitHub Actions runs with the asim-utilities Python library/CLI. Use when triggering workflows, listing recent runs or failures, waiting/canceling runs on job failure, or downloading run log...
☆ 0View skill
GitHub
telemetry-redrive
Redrive telemetry data through the telemetry-parser-service Lambda. Use when reprocessing raw JSONL files, fixing corrupted Parquet output, or validating parser changes. Supports single file, prefix-based, Parq...
☆ 0View skill
GitHub
loglens
Query signals pipeline OTLP logs via the loglens Athena-backed CLI. Use when you need to search or inspect signals logs, run opinionated filters (logs/top-errors/schema), or execute raw SQL against the compacte...
☆ 0View skill
GitHub
add-segment
Add a new podcast segment type to the Data Over Dogma segment detection and verification system. Use when the user asks to add a new segment, create a segment, or add a segment type like "Getting Angelic" or "G...
☆ 0View skill
GitHub
oversized-skill
A skill with an oversized SKILL.md file for testing warnings
☆ 0View skill
GitHub
scottadams-reframe
Reframe problems using Scott Adams' philosophy from "Reframe Your Brain". User describes a problem, concern, or situation and gets sardonic, pragmatic perspective shifts with actionable steps and custom affirma...
☆ 0View skill
GitHub
polars
Expert guidance for Polars dataframe manipulation in Python. Use this skill when working with dataframes, data processing, ETL pipelines, or any task involving tabular data manipulation. Provides best practices...
☆ 0View skill
GitHub
copy-doctor
Marketing copywriting expert for reviewing and improving UI copy. Use when evaluating headlines, subheads, taglines, CTAs, button text, microcopy. Improving clarity, succinctness, or persuasiveness of existing...
☆ 0View skill
GitHub
domain-driven-design
Use this when asked to make changes to or reason about a domain capability, handler, query, command, action, model or service.
☆ 0View skill
GitHub
api-design
Use this when reasoning about API surfaces, packages, protobuf schema, versioning, compatibility adapters or domain action handlers.
☆ 0View skill
GitHub
domain-modeling
Use this when asked to model a domain, or think about domain boundaries, or construct schema to serve customer needs.
☆ 0View skill
GitHub
website-development
Use when working on Everything Machine frontend — JavaScript modules, journal entries, viewers, grid layout, bubbles, or CSS styling.
☆ 0View skill
GitHub
reflection-interview
Interactive interview for journal entry reflections. Covers all 5 research sub-questions (Workflow, Autorschaft, Iteration, Scheitern, Ästhetik) aligned with the main research question.
☆ 0View skill
GitHub
thesis-writing
Thesis writing skill for MA Artistic Research. Covers academic requirements, submission format, and literature review workflow.
☆ 0View skill
GitHub
roadmap
Display ROADMAP.md tasks and offer interactive task selection with sub-agent suggestions.
☆ 0View skill
GitHub
claude-code-expert
Expert Claude Code engineer with deep knowledge of skills authoring, Agent SDK (TypeScript/Python), Claude API, prompt engineering, MCP servers, hooks, slash commands, and tool use. Use when creating skills, bu...
☆ 0View skill
GitHub
swift-ios-macos-expert
Expert iOS/macOS development with Swift 6, SwiftUI, SwiftData, CloudKit, and modern Apple frameworks. Use when writing Swift code, building iOS/macOS apps, implementing SwiftData models, creating SwiftUI views,...
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.