ekirton

Check Compat — Development skill for Claude Code

Development community

Check whether a Coq project's declared dependencies are mutually compatible.

How to install Check Compat

Installs to ~/.claude/skills/ekirton-poule-check-compat/SKILL.md

Terminal

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

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

What Check Compat does

Check whether a Coq project's declared dependencies are mutually compatible. Detect version conflicts before the user hits opaque build failures. Explain conflicts in plain language and suggest resolutions.

Step 1: Locate and read dependency declarations

Search the project for dependency declaration files in this order:

Use Glob to find *.opam files in the project root and subdirectories.
Look for dune-project in the project root.
Look for _CoqProject in the project root.

Alternatives in Development

Om Prep 1on1 — Prep for an upcoming 1:1 — load person context, surface open items, suggest agenda based on vault state 4.6k ★
Resolve Drizzle Migrations — Resolve Drizzle migration conflicts by accepting upstream and regenerating local migrations 2.5k ★
Teach — View, add, or manage project conventions 80 ★