Pinned Loading

1. sql-coach sql-coach Public

   LeetCode-like SQL coach with local AI tutoring and problem set generation

   TypeScript

2. sigma-cli sigma-cli Public

   Modern command-line interface for Sigma Computing REST API

   Python

3. mcp-localfiles mcp-localfiles Public

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

   Go

4. ollama-models ollama-models Public

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

   Go

5. imagine-tui imagine-tui Public

   "Imagine with Claude", but for TUI

   Go

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