Pi grep via Microsoft tgrep — trigram-indexed search, auto-installed prebuilt binary

Pi extension that adds an independent, eventually consistent tgrep search tool without replacing or auto-enabling native grep

Pi extension wrapping Microsoft tgrep for fast trigram-indexed search

Shadow built-in grep with Microsoft tgrep (trigram-indexed search) for DeepSeek Harness

MCP server that exposes tgrep, a trigram-indexed regex search tool, over stdio.