CBirkbeck

Generalise — Security skill for Claude Code

Security community

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.

How to install Generalise

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.

What Generalise does

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:

Mechanical pass — drop unused hypotheses, swap typeclasses for weaker o

Alternatives in Security

Security Scan Report — Generated: 2026-04-10 20:48 UTC Skills scanned: 134 Total findings: 836 Critical: 32 High: 50 Safe skills: 100 18.1k ★
Memory Self Review — Mine recent agent history (claude-mem + usage stats) for recurring failures and repeated patterns, audit MEMOR 297 ★
Curate Security Results — Run Security Tests & Curate Results — Public-Safe Snapshots 295 ★