Brandon Schneider
|
110280dfd9
|
Fix GitHub repository settings config
|
2026-05-11 22:55:56 -05:00 |
|
Brandon Schneider
|
9213d9755e
|
Track HCMMR sources and ignore generated mirrors
|
2026-05-11 21:53:32 -05:00 |
|
Brandon Schneider
|
600c96f179
|
chore: add copilot instructions reflecting AGENTS.md contract
|
2026-05-09 23:18:50 -05:00 |
|
Allaun Silverfox
|
ace51f7885
|
Add Lean setup step to GitHub Actions workflow
|
2026-05-09 22:17:47 -05:00 |
|
Brandon Schneider
|
ccf22174e2
|
docs: add rainbow raccoon compiler image via git lfs
|
2026-05-07 02:58:33 -05:00 |
|
Brandon Schneider
|
f3a326a22f
|
docs: add repository social preview image
|
2026-05-07 02:40:28 -05:00 |
|
Brandon Schneider
|
31f953bada
|
Consolidate research stack updates
|
2026-05-05 21:09:48 -05:00 |
|
Brandon Schneider
|
4eee4a07f6
|
initial: sovereign research stack (consolidated, weightless, and lfs-optimized)
|
2026-05-04 18:11:36 -05:00 |
|