ekirton

Explain Error

Name: Explain Error
Author: ekirton

Development community

SOURCE https://github.com/ekirton/Poule/blob/main/commands/explain-error.md

Description

You are executing the `/explain-error` command. Your job is to diagnose a Coq type error: parse it, gather context using MCP tools, explain what went wrong in plain language, and suggest concrete fixes. ## Step 1: Obtain the error Check these sources in order until you have an error to work with: 1. The user provided an error message directly in the conversation. Use it as-is. 2. Look for a recent Coq error in the conversation history (e.g., from a build or proof attempt). 3. If neither is av

Installation

Installs to ~/.claude/skills/ekirton-poule-explain-error/SKILL.md

Terminal

mkdir -p ~/.claude/skills/ekirton-poule-explain-error && curl -fsSL https://raw.githubusercontent.com/ekirton/Poule/HEAD/commands/explain-error.md -o ~/.claude/skills/ekirton-poule-explain-error/SKILL.md

Restart Claude Code, or start a new session, for it to be picked up.