Pinned Loading

1. sigma-cli sigma-cli Public

   Modern command-line interface for Sigma Computing REST API

   Python

2. mcp-localfiles mcp-localfiles Public

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

   Go

3. ollama-models ollama-models Public

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

   Go

4. imagine-tui imagine-tui Public

   "Imagine with Claude", but for TUI

   Go

5. push-it-real-good push-it-real-good Public

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

   Shell 1

6. prove-it-is-9 prove-it-is-9 Public

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

   Lean