// contribute
The fastest way to contribute is to write problems. Open the Problem Forge, hit “Draft a Problem”, and write your problem with full Markdown + LaTeX support. Preview it, submit it, and an admin will review it for the public arena. Great problems have a single crisp insight at their core.
We formally verify problems and solutions using Lean 4 and Mathlib. If you can write Lean proofs — or want to learn — this is the most valuable contribution of all. Reach out at bashir.mikael@outlook.com and we'll get you set up with the verification pipeline.
CompeteMath is an evolving codebase — find it on GitHub. Issues, bug reports and pull requests are all welcome, from typo fixes to whole features.
Communities thrive on people. Share a problem that stumped you, drag a friend onto the leaderboard, or start a rivalry. CompeteMath is better with you in it.