Commit graph

6 commits

Author SHA1 Message Date
Brandon Schneider
7f6b41b0b3 chore: add copilot instructions reflecting AGENTS.md contract 2026-05-09 23:18:50 -05:00
Allaun Silverfox
6b491145f8 Add Lean setup step to GitHub Actions workflow 2026-05-09 22:17:47 -05:00
Brandon Schneider
c20cf50d73 docs: add rainbow raccoon compiler image via git lfs 2026-05-07 02:58:33 -05:00
Brandon Schneider
4ef6b6800e docs: add repository social preview image 2026-05-07 02:40:28 -05:00
Brandon Schneider
6f72872e29 Consolidate research stack updates 2026-05-05 21:09:48 -05:00
Brandon Schneider
e8989c4ccd initial: sovereign research stack (consolidated, weightless, and lfs-optimized) 2026-05-04 18:11:36 -05:00