ekirton

Migrate Rocq — Development skill for Claude Code

Development community

Scan a Coq project for deprecated Coq-era names, suggest their Rocq replacements, apply bulk renames after user confirmation, and verify the result builds.

How to install Migrate Rocq

Installs to ~/.claude/skills/ekirton-poule-migrate-rocq/SKILL.md

Terminal

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

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

What Migrate Rocq does

Scan a Coq project for deprecated Coq-era names, suggest their Rocq replacements, apply bulk renames after user confirmation, and verify the result builds. This command modifies source files only after explicit user approval.

Rename patterns

The Coq-to-Rocq migration follows these known rename patterns. Use these as the basis for scanning and replacement.

Namespace prefixes

Coq. module prefix becomes Rocq. (e.g., Coq.Init.Datatypes becomes Rocq.Init.Datatypes)
From Coq i

Alternatives in Development

Outcome — /outcome - Record the Result of an Application 36.6k ★
Fast Jev Compaction — Claude Code plugin that replaces the compaction summary with Jev decisions: every tool call and result is scor 425 ★
StatsPAI — StatsPAI is the first Agent-native Python library for causal inference and applied econometrics — unified API 302 ★