"author:drproof" matching MCP servers:

Local BM25/FTS5 section index for project documentation (Markdown and optional Google Docs/Sheets) that returns ~60-token section hits instead of full-file reads. Includes symbol/caller lookup across 9 languages, verified status writes, and a wiring gate that refuses to mark tasks done when target functions have zero callers.