Discover Research skills, compare source repositories and read the instructions for each workflow.
Apply variation theory of learning to structure instructional content using contrast, generalization, and fusion patterns. Variation must target the critical aspects of the learning objective. Use when writing...
Write cryptography prose and notation using the project's bibsp.sty + preamble.tex conventions (acro + biblatex footnote citations and standardized math macros). Use proactively when: (1) writing/editing crypto...
IMPORTANT: Activate this skill BEFORE modifying any skill in ~/.claude/skills/. Guide for creating, updating, and maintaining Claude Code skills following best practices. Use proactively when: (1) creating a ne...
Guide LaTeX document authoring following best practices and proper semantic markup. Use proactively when: (1) writing or editing .tex files, (2) writing or editing .nw literate programming files, (3) literate...
Document pedagogical design decisions in educational materials using the didactic LaTeX package and \ltnote command. Use proactively when (1) writing or editing educational LaTeX materials with pedagogical cont...
CRITICAL: ALWAYS activate this skill BEFORE making ANY changes to .nw files. Use proactively when: (1) creating, editing, reviewing, or improving any .nw file, (2) planning to add/modify functionality in files...
Structure educational content using try-first-tell-later pedagogy where students predict, attempt, or reflect before receiving explanations. Creates active learning through cognitive engagement and variation th...
Expertise for managing Docker services in this project including Redis, Ollama, Open WebUI, Grafana, Prometheus, and Dozzle. Use when working with containers, Docker Compose, or troubleshooting service connect...
Project-specific expertise for the tools-automation monorepo. Use when working with this project's agents, Docker services, MCP server, or any subprojects like HabitQuest, AvoidObstaclesGame, CodingReviewer,...
Expertise for writing XCTest tests for Swift/SwiftUI iOS and macOS apps in this project. Use when writing tests for HabitQuest, AvoidObstaclesGame, CodingReviewer, MomentumFinance, PlannerApp, or Shared-Kit. Fo...
Implement technical plans from thoughts/shared/plans with verification
Unified math capabilities - computation, solving, and explanation. I route to the right tool.
Choose the right search tool for each query type
Create and configure Claude Code sub-agents with custom prompts, tools, and models
MANDATORY - Load this skill first. Routes to bootstrap + domain rules.
Manage Clorch configuration (Braintrust, API keys, features)
Problem-solving strategies for proof theory in mathematical logic
Implementation agent that executes a single task and creates handoff on completion
External research workflow for docs, web, APIs - NOT codebase exploration
Guide to the math cognitive stack - what tools exist and when to use each
Claude Code CLI commands, flags, headless mode, and automation patterns
Deterministic router for math cognitive stack - maps user intent to exact CLI commands
Process large contexts using RLM (Recursive Language Model) patterns - chunking, filtering, recursive sub-calls
Search past reasoning for relevant decisions and approaches
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.