1 repository with Claude Code or Codex plugins.
Workflow for rigorous AI-assisted mathematical research.
1 plugin · nidrissi/mathbox