1 repository with Claude Code or Codex plugins.
Codex skills for rigorous open mathematics research, research-program management, and Lean 4 formal verification (rigorous-open-math-research + manage-math-research-program + lean-verify plugin + math-research-workflow pipeline).
4 plugins · xsoc1/rigorous-open-math-research