@parcadei
parcadeiconnectedness
skillProblem-solving strategies for connectedness in topology
math-intuition-builder
skillDevelops mathematical understanding through examples, visualization, and analogy
open-sets
skillProblem-solving strategies for open sets in topology
planning-agent
skillPlanning agent that creates implementation plans and handoffs from conversation context
trace-claude-code
skillAutomatically trace Claude Code conversations to Braintrust for observability. Captures sessions, conversation turns, and tool calls as hierarchical traces.
compactness
skillProblem-solving strategies for compactness in topology
recall
skillQuery the memory system for relevant learnings from past sessions
research-agent
skillResearch agent for external documentation, best practices, and library APIs via MCP tools
root-finding
skillProblem-solving strategies for root finding in numerical methods
tldr-code
skillToken-efficient code analysis via 5-layer stack (AST, Call Graph, CFG, DFG, PDG). 95% token savings.
convex-optimization
skillProblem-solving strategies for convex optimization in optimization
tdd
skillTest-driven development workflow with philosophy guide - plan → write tests → implement → validate
contour-integrals
skillProblem-solving strategies for contour integrals in complex analysis
pint-compute
skillUnit-aware computation with Pint - convert units, dimensional analysis, unit arithmetic
agentica-prompts
skillWrite reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
repo-research-analyst
skillAnalyze repository structure, patterns, conventions, and documentation for understanding a new codebase
agentica-claude-proxy
skillGuide for integrating Agentica SDK with Claude Code CLI proxy
rudin-real-complex-analysis
skillProblem-solving with Rudin's Real and Complex Analysis textbook
source-coding
skillProblem-solving strategies for source coding in information theory
wiring
skillWiring Verification
repoprompt
skillUse RepoPrompt CLI for token-efficient codebase exploration
morph-apply
skillFast file editing via Morph Apply API (10,500 tokens/sec, 98% accuracy)
agentica-sdk
skillBuild Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration
onboard
skillAnalyze brownfield codebase and create initial continuity ledger
tdd-migrate
skillTDD workflow for migrations - orchestrate agents, zero main context growth
tldr-router
skillMaps questions to the optimal tldr command. Use this to pick the right layer
shapely-compute
skillComputational geometry with Shapely - create geometries, boolean operations, measurements, predicates
system-overview
skillShow users how Continuous Claude works - the opinionated setup with hooks, memory, and coordination
completion-check
skillCompletion Check: Verify Infrastructure Is Wired
perplexity-search
skillAI-powered web search, research, and reasoning via Perplexity
tdd-migration-pipeline
skillOrchestrator-only workflow for migrating/rewriting codebases with full TDD and agent delegation
research
skillDocument codebase as-is with thoughts directory for historical context
mot
skillSystem health check (MOT) for skills, agents, hooks, and memory
tour
skillFriendly onboarding when users ask about capabilities
hooks
skillHook Development Rules
prove
skillFormal theorem proving with research, testing, and verification phases
migrate
skillMigration workflow - research → analyze → plan → implement → review
nia-docs
skillSearch library documentation and code examples via Nia
tldr-deep
skillFull 5-layer analysis of a specific function. Use when debugging or deeply understanding code.
premortem
skillIdentify failure modes before they occur using structured risk analysis
describe-pr
skillGenerate comprehensive PR descriptions following repository templates
tldr-overview
skillGet a token-efficient overview of any project using the TLDR stack
loogle-search
skillSearch Mathlib for lemmas by type signature pattern
no-task-output
skillNever Use TaskOutput
continuity-ledger
skillCreate or update continuity ledger for state preservation across clears
explicit-identity
skillExplicit Identity Across Boundaries
braintrust-tracing
skillBraintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
environment-triage
skillEnvironment Triage
agent-context-isolation
skillAgent Context Isolation
rings
skillProblem-solving strategies for rings in abstract algebra
matrices
skillProblem-solving strategies for matrices in linear algebra
convergence
skillProblem-solving strategies for convergence in real analysis
math
skillUnified math capabilities - computation, solving, and explanation. I route to the right tool.
help
skillInteractive workspace discovery - learn what tools, workflows, agents, and hooks are available
dead-code
skillFind unused functions and dead code in the codebase
tldr-stats
skillShow full session token usage, costs, TLDR savings, and hook activity
parallel-agents
skillParallel Agent Orchestration
morph-search
skillFast codebase search via WarpGrep (20x faster than grep)
ast-grep-find
skillAST-based code search and refactoring via ast-grep MCP
cli-reference
skillClaude Code CLI commands, flags, headless mode, and automation patterns
reference-sdk
skillCheck reference SDK implementations using btca ask
implement-plan
skillImplement technical plans from thoughts/shared/plans with verification
implement-task
skillImplementation agent that executes a single task and creates handoff on completion
index-at-creation
skillIndex at Creation Time
braintrust-analyze
skillAnalyze Claude Code sessions via Braintrust
agent-orchestration
skillAgent Orchestration Rules
qlty-during-development
skillQLTY During Development
leann-search
skillSemantic search across codebase using LEANN vector index
graceful-degradation
skillGraceful Degradation with Helpful Messages
implement-plan-micro
skillImplement technical plans from thoughts/shared/plans with verification
observe-before-editing
skillObserve Before Editing
parallel-agent-contracts
skillParallel Agent Type Contracts
math-model-selector
skillRoutes problems to appropriate mathematical frameworks using expert heuristics
search-hierarchy
skillSearch Tool Hierarchy
limits
skillProblem-solving strategies for limits in real analysis
router-first-architecture
skillRouter-First Architecture
async-repl-protocol
skillAsync REPL Protocol
groups
skillProblem-solving strategies for groups in abstract algebra
continuity
skillProblem-solving strategies for continuity in real analysis
residues
skillProblem-solving strategies for residues in complex analysis
entropy
skillProblem-solving strategies for entropy in information theory
first-order-odes
skillProblem-solving strategies for first order odes in odes pdes
second-order-odes
skillProblem-solving strategies for second order odes in odes pdes
vector-spaces
skillProblem-solving strategies for vector spaces in linear algebra
gradient-methods
skillProblem-solving strategies for gradient methods in optimization
sigma-algebras
skillProblem-solving strategies for sigma algebras in measure theory
proof-theory
skillProblem-solving strategies for proof theory in mathematical logic
lebesgue-measure
skillProblem-solving strategies for lebesgue measure in measure theory
interpolation
skillProblem-solving strategies for interpolation in numerical methods