CBirkbeck

Integrate Learnings — Development skill for Claude Code

Development community

Process community learning contributions into reference docs.

How to install Integrate Learnings

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

Terminal

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

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

What Integrate Learnings does

name: integrate-learnings description: Process community learning contributions into reference docs

/integrate-learnings — Integrate community learnings into the reference docs

For repo maintainers: process community learning contributions (from `/contribute` PRs) into the skill's reference documentation. Contributions land as JSONL files in `data/community_learnings/`; this command reads them, counts occurrences, and propagates the eligible ones into `references/style-rules.md`, `re

Alternatives in Development

MCP Builder — Guide for creating high-quality MCP servers to integrate external APIs and services 94.1k ★
Resume Work From A Handoff Document — You are tasked with resuming work from a handoff document through an interactive process 10k ★
Claude Integration Guide — FOR CLAUDE CODE: When a user asks you to integrate components from this showcase repository into their project 9.3k ★