Sign in Sign up
cargo

santh-scry

GPU-resident symbolic execution. Vyre-native parallel SMT solving over weir paths. Research stub - NO CPU primitives, NO Z3 dependency. Long-term moat extension. See writ for the CPU-backed launch path.

Activity

Latest release
1mo ago
Total releases
2
Cadence
~daily
Last 12 months
2

Reach

Stars
0

Details

License
MIT
First release
Aug 01, 2026
Releases
Version Released
0.0.3 patch
0.0.2 initial