"author:yokoo524" matching MCP servers:

Enables querying and analyzing documents far larger than an LLM's context window by having the model emit constrained symbolic S-expression commands that a logic engine validates and executes, rather than generating arbitrary code. Server-side handle and memo storage keeps token usage low while supporting recursive sub-queries, multi-document context selection, and introspection of bound results.