2 repositories with Claude Code or Codex plugins.
1 plugin · mattrobball/lab-book
1 plugin · mattrobball/mathlib-claude-plugin