LLM4Rocq

Mathcomp Review — Design skill for Claude Code

Design community

Read-only mathcomp / mathcomp-analysis style review of .v files.

How to install Mathcomp Review

Installs to ~/.claude/skills/llm4rocq-mathcomp-skills-mathcomp-review/SKILL.md

Terminal

mkdir -p ~/.claude/skills/llm4rocq-mathcomp-skills-mathcomp-review && curl -fsSL https://raw.githubusercontent.com/LLM4Rocq/mathcomp-skills/HEAD/commands/mathcomp-review.md -o ~/.claude/skills/llm4rocq-mathcomp-skills-mathcomp-review/SKILL.md

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

What Mathcomp Review does

name: mathcomp-review description: Read-only mathcomp / mathcomp-analysis style review of .v files user_invocable: true argument-hint: "[file.v ...] | --scope=changed|project"

mathcomp-review

Read-only style review of math-comp / mathcomp-analysis Rocq (`.v`) files. Runs the mechanical scanner, the SKILL.md Reviewer Checklist, and axiom hygiene, then emits a structured punch list keyed to `reference.md` section numbers.

**Non-destructive:** never edits, stages, or commits `.v` files

Alternatives in Design

Doc — Read, create, and edit .docx documents with formatting and layout fidelity 14.6k ★
Design Review Workflow — by Patrick Ellis - A tailored workflow for enabling automated UI/UX design review, including specialized sub a 3.7k ★
Plannotator — Interactive plan review UI for Claude Code with visual annotation, offline sharing, and Obsidian/Bear integrat 3.3k ★