Coding

by parcadei

Problem-solving strategies for integration theory in measure theory

by parcadei

Problem-solving strategies for interpolation in numerical methods

by parcadei

Problem-solving strategies for lebesgue measure in measure theory

by parcadei

Problem-solving strategies for limits in real analysis

by parcadei

Problem-solving strategies for limits colimits in category theory

by parcadei

LLM Tuning Patterns

by parcadei

Unified math capabilities - computation, solving, and explanation. I route to the right tool.

by parcadei

Guide to the math cognitive stack - what tools exist and when to use each

by parcadei

Develops mathematical understanding through examples, visualization, and analogy

by parcadei

Routes problems to appropriate mathematical frameworks using expert heuristics

by parcadei

Deterministic router for math cognitive stack - maps user intent to exact CLI commands

by parcadei

Problem-solving strategies for matrices in linear algebra

by parcadei

Research-to-implement pipeline chaining 5 MCP tools with graceful degradation

by parcadei

MCP Script Rules

by parcadei

Migration workflow - research → analyze → plan → implement → review

by parcadei

Problem-solving strategies for modular arithmetic in graph number theory

by parcadei

Modular Code Organization

by parcadei

Fast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)

by parcadei

Fast codebase search via WarpGrep (20x faster than grep)

by parcadei

System health check (MOT) for skills, agents, hooks, and memory

by parcadei

Problem-solving strategies for natural transformations in category theory

by parcadei

Search library documentation and code examples via Nia

by parcadei

Problem-solving strategies for numerical integration in numerical methods

by parcadei

Observe Before Editing

by parcadei

Analyze brownfield codebase and create initial continuity ledger

by parcadei

OPC Architecture Understanding

by parcadei

Problem-solving strategies for open sets in topology

by parcadei

Problem-solving strategies for operator theory in functional analysis

by parcadei

Parallel Agent Type Contracts

by parcadei

AI-powered web search, research, and reasoning via Perplexity

by parcadei

Unit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic

by parcadei

Problem-solving strategies for predicate logic in mathematical logic

by parcadei

Identify failure modes before they occur using structured risk analysis

by parcadei

Problem-solving strategies for prime numbers in graph number theory

by parcadei

Problem-solving strategies for proof theory in mathematical logic

by parcadei

Problem-solving strategies for propositional logic in mathematical logic

by parcadei

Formal theorem proving with research, testing, and verification phases

by parcadei

Code quality checks, formatting, and metrics via qlty CLI

by parcadei

QLTY During Development

by parcadei

Search past reasoning for relevant decisions and approaches

by parcadei

Code refactoring workflow - analyze → plan → implement → review → validate

by parcadei

Check reference SDK implementations using btca ask

by parcadei

Use RepoPrompt CLI for token-efficient codebase exploration

by parcadei

Research agent for external documentation, best practices, and library APIs via MCP tools

by parcadei

External research workflow for docs, web, APIs - NOT codebase exploration

by parcadei

Problem-solving strategies for residues in complex analysis

by parcadei

Comprehensive code review workflow - parallel specialized reviews → synthesis

by parcadei

Problem-solving strategies for rings in abstract algebra

by parcadei

Problem-solving strategies for root finding in numerical methods

by parcadei

Router-First Architecture

by parcadei

Choose the right search tool for each query type

by parcadei

Search Tool Hierarchy

by parcadei

Problem-solving strategies for second order odes in odes pdes

by parcadei

Computational geometry with Shapely - create geometries, boolean operations, measurements, predicates

by parcadei

Problem-solving strategies for sigma algebras in measure theory

by parcadei

Upgrade any skill to v5 Hybrid format using decision theory + modal logic

by parcadei

Create and use Claude Code slash commands - quick prompts, bash execution, file references

by parcadei

Problem-solving strategies for source coding in information theory

by parcadei

Create and configure Claude Code sub-agents with custom prompts, tools, and models

by parcadei

Token-efficient code analysis via 5-layer stack (AST, Call Graph, CFG, DFG, PDG). 95% token savings.

by parcadei

by parcadei

Problem-solving strategies for vector spaces in linear algebra

by parcadei

Wiring Verification

by parcadei

Goal-based workflow orchestration - routes tasks to specialist agents based on user goals

by mitsuhiko

Analyze coding agent session transcripts to improve existing skills or create new ones. Use when asked to improve a skill based on a session, or extract a new skill from session history.

by mitsuhiko

Remote control tmux sessions for interactive CLIs (python, gdb, etc.) by sending keystrokes and scraping pane output.

by mixedbread-ai

MANDATORY: Replaces ALL built-in search tools. You MUST invoke this skill BEFORE using WebSearch, Grep, or Glob. NEVER use the built-in WebSearch tool - use `mgrep --web` instead. NEVER use the built-in Grep tool - use `mgrep` instead.

by Ceeon

自更新 skills。记录用户反馈，更新方法论和规则。触发词：更新规则、记录反馈、改进skill

by Ceeon

环境准备。安装依赖、下载模型、验证环境。触发词：安装、环境准备、初始化

by Ceeon

执行视频剪辑。根据确认的删除任务执行FFmpeg剪辑，循环直到零口误，生成字幕。触发词：执行剪辑、开始剪、确认剪辑

by Ceeon

字幕生成与烧录。转录→词典纠错→审核→烧录。触发词：加字幕、生成字幕、字幕

by SawyerHood

Browser automation with persistent page state. Use when users ask to navigate websites, fill forms, take screenshots, extract web data, test web apps, or automate browser workflows. Trigger phrases include "go to [url]", "click on", "fill out the form", "take a screenshot", "scrape", "automate", "test the website", "log into", or any browser interaction request.