Popular repositories Loading

1. maldon maldon Public

   A fast CREATE2 and CREATE3 salt miner.

   Rust 64 6

2. understand understand Public

   Mastery-gated tutor skill for AI agents: teaches topics and codebases to durable, transferable understanding.

   4 1

3. working-backwards working-backwards Public

   Amazon Working Backwards skill for AI agents: draft and pressure-test a PR/FAQ (press release + FAQ) by starting at launch day.

   3

4. bf-c20 bf-c20 Public

   Self-contained Berge–Fulkerson C(20) proof with complete Lean formalization, explicit native-evaluation trust, and exhaustive certificates.

   Lean 2

5. ethers-rs ethers-rs Public

   Forked from gakonst/ethers-rs

   Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers

   Rust

6. terence-tao-skills terence-tao-skills Public

   Mathematical problem-solving agent skills drawn from Terence Tao's writing