ekirton

Explain Error — Development skill for Claude Code

Development community

You are executing the /explain-error command.

How to install Explain Error

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.

What Explain Error does

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:

The user provided an error message directly in the conversation. Use it as-is.
Look for a recent Coq error in the conversation history (e.g., from a build or proof attempt).
If neither is av

Alternatives in Development

Cloud Run Debug — Diagnose a failing Cloud Run service — Antigravity (agy/Gemini) digests the error logs cheaply, Claude infers 284 ★
Tare — Diagnose Claude Code usage — where tokens went and why 256 ★
Bib Parse — Extract citations from a PDF and generate a validated .bib file 130 ★