parcadei builds skills that guide an AI agent through formal and abstract mathematics, with a focus on measure theory and category theory, including integration theory, Lebesgue measure, and limits and colimits. Their work also covers software engineering workflows such as debugging through logs, database state and git history, implementing technical plans with verification, and preserving working state across sessions. Their most popular skills pair rigorous mathematical problem-solving with practical development process, including a formal theorem-proving skill built around research, testing and verification phases.
Continuous Claude V3
160 skills · 3,948 stars · MIT
Agent Context Isolation Guides orchestration of Claude Code subagents (Task tool) to keep their output out of the main conte
Agent Orchestration Agent Orchestration Rules
Agentic Workflow Orchestrates a five-stage multi-agent pipeline for implementation tasks: research via NIA Oracle, pl
Agentica Claude Proxy Guide for integrating Agentica SDK with Claude Code CLI proxy
Agentica Infrastructure Reference guide for Agentica multi-agent infrastructure APIs
Agentica Prompts Write reliable prompts for Agentica/REPL agents that avoid LLM instruction ambiguity
Agentica Sdk Build Python agents with Agentica SDK - @agentic decorator, spawn(), persistence, MCP integration
Agentica Server Agentica server + Claude proxy setup - architecture, startup sequence, debugging
Agentica Spawn Spawn Agentica multi-agent patterns
Analytic Functions Problem-solving strategies for analytic functions in complex analysis
Ast Grep Find AST-based code search and refactoring via ast-grep MCP
Async Repl Protocol Describes Python async REPL code for Agentica's testing harness, covering awaiting Future-returning 
Async Repl Protocol Covers Agentica async REPL harness rules for Python code: requires await on Future-returning tools s
Background Agent Pings Guides agents running background Task agents in Claude Code: launch with run_in_background, keep wor
Banach Spaces Problem-solving strategies for banach spaces in functional analysis
Boundary Value Problems Problem-solving strategies for boundary value problems in odes pdes
Braintrust Analyze Analyze Claude Code sessions via Braintrust
Braintrust Tracing Braintrust tracing for Claude Code - hook architecture, sub-agent correlation, debugging
Build Workflow orchestrator that chains existing skills for feature development
Categories Functors Problem-solving strategies for categories functors in category theory
Channel Capacity Problem-solving strategies for channel capacity in information theory
Cli Reference Claude Code CLI commands, flags, headless mode, and automation patterns
Commit Create git commits with user approval and no Claude attribution
Compactness Problem-solving strategies for compactness in topology
Complete Skill A complete skill for E2E testing
Completion Check Completion Check: Verify Infrastructure Is Wired
Compound Learnings Transform session learnings into permanent capabilities (skills, rules, agents).
Connectedness Problem-solving strategies for connectedness in topology
Constrained Optimization Problem-solving strategies for constrained optimization in optimization
Continuity Problem-solving strategies for continuity in real analysis
Continuity Ledger Create or update continuity ledger for state preservation across clears
Contour Integrals Problem-solving strategies for contour integrals in complex analysis
Convergence Problem-solving strategies for convergence in real analysis
Convex Optimization Problem-solving strategies for convex optimization in optimization
Create Handoff Create handoff document for transferring work to another session
Dead Code Find unused functions and dead code in the codebase
Debug Debug issues by investigating logs, database state, and git history
Debug Hooks Systematic hook debugging workflow.
Describe Pr Generate comprehensive PR descriptions following repository templates
Discovery Interview Deep interview process to transform vague ideas into detailed specs.
Eigenvalues Problem-solving strategies for eigenvalues in linear algebra
Entropy Problem-solving strategies for entropy in information theory
Environment Triage Diagnoses Python environment problems in uv and pip projects by checking which interpreter is actual
Explicit Identity Explicit Identity Across Boundaries
Explore Meta-skill for internal codebase exploration at varying depths (quick/deep/architecture)
Fields Problem-solving strategies for fields in abstract algebra
Firecrawl Scrape Scrape web pages and extract content via Firecrawl MCP
First Order Odes Problem-solving strategies for first order odes in odes pdes