allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-30 17:16:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/archive
History
Exact
allaun fa8f6a2586 chore: commit utility scripts, MCP backend source, and archived data 
Utility scripts:
- download_leanstral.py: HuggingFace model download for autoproof
- download_leanstral_urllib.py: stdlib-only variant
- prime_slos_explore.py: spectral signature exploration for primes

Infrastructure:
- scripts/mcp_backend/: Rust MCP backend (src + Cargo.toml/lock, target/ gitignored)

Data:
- .openresearch/artifacts/slos_checkpoints/: 128K checkpoint data
- archive/dead_code_2026-07-03/: 360K archived dead code
2026-07-04 02:06:51 -05:00
..
2026-07-02 Archive rydberg_braid_cross_domain_scan.md 2026-07-02 03:44:36 +02:00
2026-07-03 chore(anti-smuggle): patch stealth-True + bare-sorry blind spots; archive SidonWrapping orphan 2026-07-03 15:07:49 -05:00
dead_code_2026-07-03 chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00