parcadei
Showing 61–120 of 153 skills · Page 2 of 3
parcadei / prime-numbers
3.9kProblem-solving strategies for prime numbers in graph number theory
parcadei / proof-theory
3.9kProblem-solving strategies for proof theory in mathematical logic
parcadei / propositional-logic
3.9kProblem-solving strategies for propositional logic in mathematical logic
parcadei / prove
3.9kFormal theorem proving with research, testing, and verification phases
parcadei / recall
3.9kQuery the memory system for relevant learnings from past sessions
parcadei / refactor
3.9kCode refactoring workflow - analyze → plan → implement → review → validate
parcadei / release
3.9kRelease preparation workflow - security audit → E2E tests → review → changelog → docs
parcadei / remember
3.9kStore a learning, pattern, or decision in the memory system for future recall
parcadei / repo-research-analyst
3.9kAnalyze repository structure, patterns, conventions, and documentation for understanding a new codebase
parcadei / research
3.9kDocument codebase as-is with thoughts directory for historical context
parcadei / research-agent
3.9kResearch agent for external documentation, best practices, and library APIs via MCP tools
parcadei / research-external
3.9kExternal research workflow for docs, web, APIs - NOT codebase exploration
parcadei / resume-handoff
3.9kResume work from handoff document with context analysis and validation
parcadei / review
3.9kComprehensive code review workflow - parallel specialized reviews → synthesis
parcadei / root-finding
3.9kProblem-solving strategies for root finding in numerical methods
parcadei / rudin-real-complex-analysis
3.9kProblem-solving with Rudin's Real and Complex Analysis textbook
parcadei / second-order-odes
3.9kProblem-solving strategies for second order odes in odes pdes
parcadei / shapely-compute
3.9kComputational geometry with Shapely - create geometries, boolean operations, measurements, predicates
parcadei / sigma-algebras
3.9kProblem-solving strategies for sigma algebras in measure theory
parcadei / skill-upgrader
3.9kUpgrade any skill to v5 Hybrid format using decision theory + modal logic
parcadei / slash-commands
3.9kCreate and use Claude Code slash commands - quick prompts, bash execution, file references
parcadei / source-coding
3.9kProblem-solving strategies for source coding in information theory
parcadei / sub-agents
3.9kCreate and configure Claude Code sub-agents with custom prompts, tools, and models
parcadei / system-overview
3.9kShow users how Continuous Claude works - the opinionated setup with hooks, memory, and coordination
parcadei / tdd
3.9kTest-driven development workflow with philosophy guide - plan → write tests → implement → validate
parcadei / tdd-migrate
3.9kTDD workflow for migrations - orchestrate agents, zero main context growth
parcadei / tdd-migration-pipeline
3.9kOrchestrator-only workflow for migrating/rewriting codebases with full TDD and agent delegation
parcadei / tldr-code
3.9kToken-efficient code analysis via 5-layer stack (AST, Call Graph, CFG, DFG, PDG). 95% token savings.
parcadei / tldr-overview
3.9kGet a token-efficient overview of any project using the TLDR stack
parcadei / tldr-router
3.9kMaps questions to the optimal tldr command. Use this to pick the right layer
parcadei / tldr-stats
3.9kShow full session token usage, costs, TLDR savings, and hook activity
parcadei / validate-agent
3.9kValidation agent that validates plan tech choices against current best practices
parcadei / vector-spaces
3.9kProblem-solving strategies for vector spaces in linear algebra
parcadei / workflow-router
3.9kGoal-based workflow orchestration - routes tasks to specialist agents based on user goals
parcadei / agentica-spawn
3.9kSpawn Agentica multi-agent patterns
parcadei / ast-grep-find
3.9kAST-based code search and refactoring via ast-grep MCP
parcadei / braintrust-analyze
3.9kAnalyze Claude Code sessions via Braintrust
parcadei / compactness
3.9kProblem-solving strategies for compactness in topology
parcadei / complete-skill
3.9kA complete skill for E2E testing
parcadei / completion-check
3.9kCompletion Check: Verify Infrastructure Is Wired
parcadei / connectedness
3.9kProblem-solving strategies for connectedness in topology
parcadei / continuity
3.9kProblem-solving strategies for continuity in real analysis
parcadei / convergence
3.9kProblem-solving strategies for convergence in real analysis
parcadei / dead-code
3.9kFind unused functions and dead code in the codebase
parcadei / debug-hooks
3.9kSystematic hook debugging workflow
parcadei / explicit-identity
3.9kExplicit Identity Across Boundaries
parcadei / fields
3.9kProblem-solving strategies for fields in abstract algebra
parcadei / firecrawl-scrape
3.9kScrape web pages and extract content via Firecrawl MCP
parcadei / github-search
3.9kSearch GitHub code, repositories, issues, and PRs via MCP
parcadei / graceful-degradation
3.9kGraceful Degradation with Helpful Messages
parcadei / groups
3.9kProblem-solving strategies for groups in abstract algebra
parcadei / limits
3.9kProblem-solving strategies for limits in real analysis
parcadei / loogle-search
3.9kSearch Mathlib for lemmas by type signature pattern
parcadei / matrices
3.9kProblem-solving strategies for matrices in linear algebra
parcadei / morph-search
3.9kFast codebase search via WarpGrep (20x faster than grep)
parcadei / nia-docs
3.9kSearch library documentation and code examples via Nia
parcadei / no-polling-agents
3.9kNo Polling for Background Agents
parcadei / opc-architecture
3.9kOPC Architecture Understanding
parcadei / open-sets
3.9kProblem-solving strategies for open sets in topology
parcadei / qlty-check
3.9kCode quality checks, formatting, and metrics via qlty CLI