Brandon Schneider ac4e23dc9b Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems ... - .devcontainer/Dockerfile: add PostgreSQL client libs, OpenSSL/libffi headers, gfortran/BLAS for scipy, rclone; install full Python dependency set (boto3, psycopg2-binary, fastapi, uvicorn, notion-client, httpx, pytest, numpy, scipy, etc.) in uv-managed venv; add rclone S3 gateway init script as ENTRYPOINT - .devcontainer/devcontainer.json: switch from build to pre-built image (localhost/research		2026-05-19 01:52:14 -05:00
..
artifacts	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00
data	feat: eigensolid convergence proof + QC flagging tool + full pass/fail review	2026-05-14 00:04:08 -05:00
examples	Add adversarial duals 16D anchor pack	2026-05-17 15:47:38 -05:00
schemas	Add adversarial duals receipt schema	2026-05-17 15:11:34 -05:00