Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)
Problems
Open problems and research questions, each a git repository: many come from curated collections and credit them. Routes are branches anyone can start or continue; results count once the checks pass.