Sebastian Ullrich b7ca76a96e chore: refine PR description guidance in .claude/CLAUDE.md (#13597) ... Keep it short and user-level in the first paragraph		2026-05-02 12:02:25 +00:00
..
commands	chore: add safety notes to release command (#13225)	2026-04-01 05:01:00 +00:00
skills	chore: fix profiler shebang and add profiling skill (#12519)	2026-03-01 07:09:33 +00:00
CLAUDE.md	chore: refine PR description guidance in .claude/CLAUDE.md (#13597)	2026-05-02 12:02:25 +00:00
settings.json	chore: enable leanprover/skills plugin for Claude Code (#12609)	2026-02-20 12:35:32 +00:00