CBirkbeck

Generalise

Name: Generalise
Author: CBirkbeck

Security community

SOURCE https://github.com/CBirkbeck/mathlib-quality/blob/main/commands/generalise.md

Description

--- name: generalise description: Audit a lemma or definition for assumption-weakening opportunities — try mechanical weakenings, search the literature for the maximally-general form, auto-apply small safe changes, propose big changes for user approval --- # /generalise — Weaken Assumptions to Maximise Generality Given a single lemma or definition, find every way its hypotheses can be weakened. Combines two passes: 1. **Mechanical pass** — drop unused hypotheses, swap typeclasses for weaker o

Installation

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

Terminal

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

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