conjecscore.org is a website dedicated to open problems in mathematics that can be proven via construction. Furthermore, constructions that are not solution to the problem can be scored, informally, as to how closely they resemble a solution. conjecscore.org keeps track of scoreboards for these open prolems where users can compete or work together to find near or (hopefully) exact solutions to open problems.
In order to run the website locally, you will need:
npm will install Tailwind and Typescript.
uv installs various Python libraries, notably FastAPI and SQLAlchemy.
just builds everything.
You will first need to set up a .env file in the app directory. That is, you must add a file called .env in the app directory. The .env is used to store environment variables (some of which are secret). Your .env file may look something like:
SECRET="HELLO"
DATABASE_URL="sqlite+aiosqlite:///:memory:"
This will make a temporary in memory database with sqlite. No extra dependencies need. (Note: The production server uses PostgreSQL. Then to run the website type:
just
If you are interested in contributing checkout the documentation on Readthedocs.