parcadei

Retrieve web page content from a URL or search query through Firecrawl MCP. Export it as Markdown, HTML, or plain text, with support for extracting structured data from pages.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Collecting content from a specific web page
• Searching the web and retrieving page content
• Extracting structured data from web pages

Explores an existing codebase at quick, deep, or architecture-focused levels. Summarizes structure, function calls, and dependencies, then produces documentation or a handoff for implementation without changing the code.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Getting oriented in an unfamiliar codebase
• Understanding how a specific feature works
• Mapping layers and circular dependencies

Guide implementations that pass session and trace identifiers explicitly between processes and asynchronous steps. It covers storing IDs, using full UUIDs, and separating identifier types to prevent results from being attributed to the wrong session.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Passing session IDs to child processes
• Reviewing identifiers across asynchronous steps
• Keeping session and trace IDs distinct

Diagnose unexpected Python package installation behavior by checking the interpreter uv actually uses, the pinned Python version, installed packages, and imports. Includes a recovery pattern for dependencies that require a newer Python version.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Diagnosing unexpected uv sync behavior
• Checking why an installed package will not import
• Investigating skipped optional dependencies

Turn a rough app or automation idea into a detailed specification through guided interviews and research. Clarify user journeys, data, security, operations, and competing priorities, then document requirements and acceptance criteria for implementation.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Turning a rough app idea into a specification
• Clarifying requirements without technical expertise
• Resolving conflicting requirements and priorities

Create pull request descriptions using a repository’s template, drawing on code changes, commit history, and verification results. Save the description locally and update it on GitHub, with incomplete checks clearly identified for reviewers.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Write a pull request description using the repository’s template
• Update an existing description after additional changes
• Document verification results and remaining manual checks

Investigate problems during implementation or manual testing by examining logs, database records, Git history, and service status. It produces an evidence-based report with likely causes and suggested next steps, without editing files.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Investigating errors found during manual testing
• Tracing problems after recent code changes
• Checking database records for unexpected states

Route requests to commit, push, or save Git changes through a dedicated /commit skill. The workflow removes Claude attribution, records attempted approaches in reasoning.md, clears build attempts, and pushes changes when requested.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Saving changes through the designated commit workflow
• Preserving attempted approaches alongside a commit
• Removing Claude attribution from commit messages

Search GitHub code, repositories, issues, and pull requests through MCP, a connection to external tools. Use GitHub search syntax and owner or repository filters to find implementation examples, bug reports, and project information.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Find implementation examples across repositories
• Find critical bug reports
• Find related pull requests

Design software that keeps working with reduced features when an optional service is unavailable. The skill provides patterns for early availability checks, cached results, and messages explaining what is missing, which features are affected, and how to restore them.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Keeping available features running during an optional service outage
• Writing messages with clear service setup steps
• Caching availability checks to avoid repeated requests

Discover the tools, workflows, specialist agents, and hooks available in a configured workspace. Interactive guidance and topic-specific commands help you choose relevant capabilities, inspect usage examples, and understand customization options.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Find workspace capabilities that match a task
• Browse development workflows and specialist agents
• Understand active hooks and their roles

Provides a reference for building Claude Code hooks, scripts or model checks triggered by events. Covers input and output formats, registration, testing, and debugging for tasks such as blocking tool calls, adding context, and checking tests before stopping.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Create a hook that blocks edits to protected files
• Format files automatically after edits
• Add Git context when submitting a prompt

Guide Claude Code hook development with shell wrappers and TypeScript handlers. It covers event timing, JSON input and output, hook registration, and manual testing, including handlers that can block tool execution.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Add a check before tool execution
• Process events when a session starts
• Standardize hook registration and manual testing

Design fallback and repair paths to be idempotent, meaning repeated runs leave the same result. The skill outlines checks before writing, atomic file updates, and reconciliation practices to avoid overwrite conflicts and repeated repair loops.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Adding fallback paths that write only when values are missing
• Reviewing repair steps that may run repeatedly
• Preventing file overwrite conflicts between writers

Carry out technical plans in verified stages, with automated checks followed by human review. The skill defines task delegation, progress tracking, and persistent handoff records so work can resume with the context needed for the next task.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Implementing a technical plan in verified stages
• Assigning separate agents to sequential tasks
• Resuming work from saved handoff records

Carry out approved technical plans in phases, checking success criteria and recording progress as work proceeds. Larger plans can use separate agents with saved handoff notes, while manual verification keeps users involved at phase boundaries.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Implementing an approved technical plan
• Checking results at each implementation phase
• Resuming work from unfinished plan items

Implement one task from a larger development plan using test-driven development, where tests precede code. Record changes, decisions, test results, and blockers in a handoff document so the next agent can continue with the necessary context.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Implementing one task from a larger development plan
• Adding functionality by writing failing tests first
• Passing implementation details to the next agent

Guide agents to index files as soon as they are created, making them searchable for subsequent tasks. The skill describes write-triggered indexing and single-file updates instead of waiting for session-end batches or scheduled jobs.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Making handoff documents searchable immediately
• Triggering indexing when a file is written
• Reviewing indexing delays in downstream workflows

Choose LLM settings for theorem proving, code generation, and creative exploration. It provides examples for output limits and response variety, plus proof planning prompts and a method for generating multiple proof attempts and selecting the best candidate.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Choosing LLM settings for theorem proving
• Adjusting output settings for code generation
• Increasing response variety for creative exploration

Find lemmas, reusable mathematical results, in Mathlib by matching the type signature you need for a Lean proof. Search with type variables, related terms, or exact names to identify candidates you can apply.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Finding a lemma when its name is unknown
• Exploring lemmas associated with a particular type
• Finding list functions from their input and output types

Find the right tool for equations, calculus, numerical calculations, proof checks, or math practice. The guide connects tasks to commands for computing results, verifying steps, requesting hints, and plotting functions.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Solving equations and checking the answers
• Learning with practice problems and progressive hints
• Choosing tools for proofs and constraint problems

Turn math requests into specific command-line instructions using pattern-based routing. It covers calculus, equations, unit conversion, geometry, logical proofs, and plotting, returning a command for the agent to execute with the corresponding math script.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Turning integration or differentiation requests into commands
• Finding commands for unit conversion or compatibility checks
• Routing geometry calculations and plotting requests

Handle equations, calculus, matrices, unit conversions, and mathematical explanations through one entry point. The skill selects a suitable calculation tool or topic guide, including symbolic math tools that work directly with expressions.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Solve equations and calculate integrals
• Find matrix eigenvalues
• Convert between units

Connect five MCP tools, agent-accessible external capabilities, into a development workflow spanning documentation search, code search, quality checks, and Git status. Learn how to share results between steps and continue when individual tools are unavailable or fail.

한국어 요약은 준비 중입니다. 영어 요약을 표시하고 있습니다.

• Connecting documentation search with code checks
• Building workflows that tolerate unavailable tools
• Troubleshooting API key delivery to MCP subprocesses