Research-Stack

allaun/Research-Stack

Fork 0

mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-07-31 03:05:21 +00:00

Commit graph

Author	SHA1	Message	Date
Brandon Schneider	39ccddac49	devcontainer: bake Tailscale static binary into Alpine image - Add iproute2 to apk dependencies (needed by tailscaled) - Download latest Tailscale stable release at build time via pkgs.tailscale.com and install tailscale + tailscaled to /usr/local/bin - Write a _ts_start() shell function into /home/researcher/.bashrc that: - starts tailscaled in userspace-networking mode (no TUN device, no root) - uses a per-user socket at ~/.local/share/tailscale/tailscaled.sock - is a no-op if the daemon is already running Generated with [Devin](https://cli.devin.ai/docs) Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>	2026-05-19 09:18:40 +00:00
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
Brandon Schneider	9b1721eea6	integrate infrastructure config, axiom cleanup, and documentation updates - cupfox-config.nix: add Open WebUI container with chat.researchstack.info proxy, gather-metrics service/timer, rclone, and tmpfiles for persistent storage - Lean semantics: reduce axiom count from 109 to 18 across 10 files; FixedPoint now 0 axioms, 0 sorries with 12 theorems - Documentation: update AGENTS.md with current axiom/sorry counts and FixedPoint status; refine bind signature - Add topology scripts, CGA/FAMM/GeneticOptimizer/MMRFAMM Lean modules, devcontainer config, MEMORY.md, and Modelfile	2026-05-17 12:03:19 -05:00

Author

SHA1

Message

Date

Brandon Schneider

39ccddac49

devcontainer: bake Tailscale static binary into Alpine image

- Add iproute2 to apk dependencies (needed by tailscaled)
- Download latest Tailscale stable release at build time via pkgs.tailscale.com
  and install tailscale + tailscaled to /usr/local/bin
- Write a _ts_start() shell function into /home/researcher/.bashrc that:
  - starts tailscaled in userspace-networking mode (no TUN device, no root)
  - uses a per-user socket at ~/.local/share/tailscale/tailscaled.sock
  - is a no-op if the daemon is already running

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>

2026-05-19 09:18:40 +00:00

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

Brandon Schneider

9b1721eea6

integrate infrastructure config, axiom cleanup, and documentation updates

- cupfox-config.nix: add Open WebUI container with chat.researchstack.info proxy,
  gather-metrics service/timer, rclone, and tmpfiles for persistent storage
- Lean semantics: reduce axiom count from 109 to 18 across 10 files;
  FixedPoint now 0 axioms, 0 sorries with 12 theorems
- Documentation: update AGENTS.md with current axiom/sorry counts and
  FixedPoint status; refine bind signature
- Add topology scripts, CGA/FAMM/GeneticOptimizer/MMRFAMM Lean modules,
  devcontainer config, MEMORY.md, and Modelfile

2026-05-17 12:03:19 -05:00

3 commits