Pinned Loading

1. spot-the-bot spot-the-bot Public

   A two-minute browser game: guess human or AI on ten short passages. The bank refreshes weekly against whatever model is topical.

   TypeScript

2. proofs-ramsey-r55 proofs-ramsey-r55 Public

   Private Proof Factory research for Ramsey number R(5,5)

   Python

3. health-plus health-plus Public

   iOS health aggregator + smart workout coach with progressive overload, WHOOP integration, and HealthKit

   Swift

4. filevine-mcp filevine-mcp Public

   An independent prototype, built from the outside: a 10-tool MCP server for Filevine — read-only by default, preview-first, every call audited. A personal work sample.

   Python

5. shove shove Public

   Endless, always-solvable Sokoban puzzles in your browser, with a built-in BFS/A* solver you can watch work

   JavaScript

6. snug snug Public

   Probe your machine and download the best-fitting GGUF quant for any HuggingFace model, first try. A dependency-light Rust CLI.

   Rust 1