Pinned Loading

1. lean-mcp lean-mcp Public

   LeanMCP: A practical SDK built on the RAG-MCP paradigm (Gan & Sun, 2025), enabling dynamic tool activation and structured context injection to fix context bloat in MCP deployments.

   Python 4

2. parameter-golf parameter-golf Public

   Forked from openai/parameter-golf

   Train the smallest LM you can that fits in 16MB. Best model wins!

   Python

3. blii.ai blii.ai Public

   iOS app that uses a chat-based interface and AI to turn everyday messages and shared content into a personal memory system, optimized for fast capture and recall.

   TypeScript

4. reprompter reprompter Public

   prompt enhancer for AI coding agents

   Python

5. TurboRAG TurboRAG Public

   TurboQuant‑style embedding compression for RAG: an SDK using fixed rotations, PolarQuant, and QJL residual sketches for compact storage and fast similarity search

   Python 3

6. wispr-opensource wispr-opensource Public

   macOS voice transcription tool

   Python