.venv/
__pycache__/
*.pyc
theoremdb.db*
api/corpus.db*
api/journal.db*
tools/raw/
node_modules/
dist/
.astro/
.wrangler/
.DS_Store
web/public/pyodide/
python/dist/
.secrets.env
