allaun/SilverSight
1
0
Fork 0
mirror of https://github.com/allaunthefox/SilverSight.git synced 2026-07-31 01:25:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
SilverSight/archive/dead_code_2026-07-03/PVGS_DQ_Bridge
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
..
PVGS_DQ_Bridge_fixed.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
pvgs_receipt_hash.py chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section1_pvgs_params.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section2_hermite_sieve.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section3_variety_isomorphism.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section4_rrc_kernel.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section5_quantum_sensing.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section6_effective_bounds.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00
section7_master_receipt.lean chore: commit utility scripts, MCP backend source, and archived data 2026-07-04 02:06:51 -05:00