Proof-aware crypto tooling evidence interpreter and risk scorer
Updated 2026-08-22 19:18:01 +00:00
Git-published Lean formal-verification transparency log: attestations, Merkle inclusion receipts, signed tree heads (dogfood-signed by the proof-attested Ed25519 library), and a stdlib-only standalone verifier.
Updated 2026-08-22 16:41:44 +00:00
Monitor-only ratchet strategy tooling for Braiins Hashpower and OCEAN mining
Updated 2026-05-04 10:24:25 +00:00
Certificate Transparency scan, purpose assessment, and DNS correlation tooling
Updated 2026-04-01 16:57:58 +00:00
Polymarket Autonomous Trading Harness - Multi-agent AI trading system with LLM flexibility and native macOS app
Updated 2026-02-06 12:44:58 +00:00
PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.
Updated 2025-02-09 13:32:12 +00:00