Add root requirements.txt for Python dependencies

[MohammedAlkindi]

Motivation

• Provide a single top-level requirements.txt because the repository had no root dependency listing and Python modules reference a number of third-party libraries needed to run analysis and experiments.

Description

• Create requirements.txt at the repository root containing libraries detected from the codebase such as numpy, scipy, pandas, matplotlib, plotly, sympy, mpmath, scikit-learn, statsmodels, torch, numba, zstandard, networkx, shap, joblib, rich, PyYAML, tqdm, and others to cover the project’s Python imports.

Testing

• Ran an import scan with rg -n "^(import|from) " codebase -g '*.py' and a search for existing environment files with find . -maxdepth 3 -type f \( -iname 'requirements.txt' -o -iname 'pyproject.toml' -o -iname 'environment.yml' \) -print to validate the selection and absence of a root requirements file, and inspected the created file with nl -ba requirements.txt, all of which completed successfully.

---

Codex Task

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
proof-x	Ready	Preview, Comment	Apr 5, 2026 7:01pm