Brandon Schneider 74b4e09b3c devcontainer: replace Alpine base with nixos/nix; add sagemath ... Dockerfile: - FROM alpine:3.19 → FROM nixos/nix:latest - Replace all apk add commands with nix profile install, matching the devPkgs set in flake.nix (the authoritative build path) - System packages, LaTeX (texliveFull), math CLI (gnuplot, maxima, wxmaxima, octave, sage, typst) all installed via nix profile - Remove separate typst binary download — nixpkgs#typst used instead - useradd replaces adduser (nixos/nix base uses shadow-utils not busybox) flake.nix: - Add sage (SageMath 10.5) to devPkgs - Add pkgs.sage/bin to container PATH 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:40:14 +00:00
..
devcontainer.json	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00
Dockerfile	devcontainer: replace Alpine base with nixos/nix; add sagemath	2026-05-19 09:40:14 +00:00
init-rclone-s3.sh	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00
kube.yaml	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00
sync-gdrive.sh	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00
Universal Computational Modeling.md	Expand devcontainer with full Python stack, add MCP servers (Notion/AWS), strengthen Lean theorems	2026-05-19 01:52:14 -05:00