Pinned Loading

1. Modern command-line interface for Sigma Computing REST API

   Python

2. Expose a local filesystem directory through HTTP JSON-RPC, with strict path confinement and optional file filtering

   Go

3. Command-line tool for browsing the official Ollama library over HTTP

   Go

4. "Imagine with Claude", but for TUI

   Go

5. A git hook that plays Salt-N-Pepa's "Push It" when you push! (for @rsc3)

   Shell 1

6. A formal proof in Lean that the 500th decimal digit of (√2 + √3)^2012 is 9, written by gemini-cli

   Lean