openai/math ? reverse-engineered prompt

Build me a clean, easy to browse website for this math manuscript collection.

I want people to be able to open the repo and quickly find a paper, see which family it belongs to, read the short description, and jump to the PDF, source files, and any Lean formalization or verification notes. Please make the main experience feel like a catalog, with a clear overview page, a way to browse the manuscript map, and simple pages for each family that show the related manuscripts and whether they are formalized or still just manuscript form.

Also include a section for the reasoning summaries so it is obvious which families have those extra writeups. Keep it polished and readable, with good navigation and a structure that makes sense for a large research archive. Use the existing files in the repo as the source of truth, and if you need anything about the Lean side or how the docs should be presented, look up the current docs online.