Empowering everyone to build reliable and efficient software.

A Claude skill that writes the accurate prompts for any AI tool. Zero tokens or credits wasted. Full context and memory retention

Collections of Orange Tsai's public presentation slides.

Garry's Opinionated OpenClaw/Hermes Agent Brain

A compiled template and script language for LLM orchestration

OZReport analyzer for non-humans

Bitcoin Core integration/staging tree

A fork of rust-web3, extended to support mev-geth RPC methods

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.