Brandon Schneider
|
4f8c79ef07
|
Fix GitHub repository settings config
|
2026-05-11 22:55:56 -05:00 |
|
Brandon Schneider
|
71a3c67254
|
Track HCMMR sources and ignore generated mirrors
|
2026-05-11 21:53:32 -05:00 |
|
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 |
|