CBirkbeck

Expert Review — Development skill for Claude Code

Development community

Produce a self-contained mathematical briefing (no Lean, no file paths) for an external reviewer with no repo access — goals, plan, status, blockers, references, numbered questions.

How to install Expert Review

Installs to ~/.claude/skills/cbirkbeck-mathlib-quality-expert-review/SKILL.md

Terminal

mkdir -p ~/.claude/skills/cbirkbeck-mathlib-quality-expert-review && curl -fsSL https://raw.githubusercontent.com/CBirkbeck/mathlib-quality/HEAD/commands/expert-review.md -o ~/.claude/skills/cbirkbeck-mathlib-quality-expert-review/SKILL.md

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

What Expert Review does

name: expert-review description: Produce a self-contained mathematical briefing (no Lean, no file paths) for an external reviewer with no repo access — goals, plan, status, blockers, references, numbered questions

/expert-review — Briefing for an External Mathematical Reviewer

Produce a single, self-contained mathematical document describing where the project is, what we're trying to do, what's done, what's stuck, and what we'd like the reviewer to weigh in on. Written for a mathemat

Alternatives in Development

Lean Canvas — Generate Lean Canvas with problem, solution, UVP, and metrics 7.8k ★
Om Meeting — Prep for any meeting by topic — subject-forward briefing with open tasks, blockers, and brainstormed considera 4.6k ★
MCP Language Server — mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, a 1.5k ★