Comparison of Python-based tools for converting TeX to Lean MCP Connectors

ToolSnap MCP B

Deterministic AI agent microtools, no accounts/API keys. fetch_extract: 98% token cut. 38 tools.

Blockchain RAG Systems Web Scraping

1731

Search Fragments A

For queries a model can't confidently place: resolves or declines. Built to decline, not guess.

RAG Systems Search

12

Dodo Knowledge MCP A

A semantic search server that gives AI assistants instant access to Dodo Payments documentation and knowledge base.

Search Documentation Access RAG Systems

12

Fast.io A

AI-first file sharing and collaboration. 251 tools give agents a full workspace: file storage, branded shares, comments, workflows, and built-in RAG. 50GB free, no credit card.

Cloud Storage RAG Systems File Systems

183

ColdState Knowledge Search A

**ColdState Knowledge Search MCP Server** https://github.com/daniel-coldstate/coldstate-mcp Semantic search over 64.6M knowledge entries — the structured alternative to web search APIs and web scraping for LLM agents. No crawling, no rate limits, sub-3s responses. Cloud-hosted at services.coldstate.ai

Search Knowledge & Memory RAG Systems

162

trip2g A

Serve a folder of Markdown notes as an MCP server: hybrid search, reading, and sourced answers.

RAG Systems Note Taking Search

10226

ls-search A

Disposable private vector search + semantic RAG for AI agents. x402 pay-per-call, no account.

RAG Systems Vector Databases

62

Persistent Project Context for xAI Grok B

Persistent project context for xAI Grok. IANA-registered .faf format.

RAG Systems Search

19317

doc.page PDF Extraction A

Extract PDFs to Markdown, RAG chunks and cited tables; publish tracked Doc Links with read stats.

RAG Systems Documentation Access

72

foundrynet-search B

x402-gated web search gateway. Tools: search, search_enriched.

Search RAG Systems

22

search A

Collaborative, cache-first web search for agents — cited answers from a shared live-web pool.

Search RAG Systems

32

stagenth · AI 记忆库 A

Hosted persistent memory with semantic search, importance and TTL for AI agents.

Knowledge & Memory RAG Systems

52

stagenth · 文档解析 A

Parse PDF/Word/PPT/HTML to Markdown; tables as JSON, image extraction, RAG chunking, page ranges.

RAG Systems File Systems

42

AI Readiness Kit A

Generate 18 AI readiness files (llms.txt, ai.txt, RAG indexes, schema) for any website.

RAG Systems Search Knowledge & Memory

623

aipricepatterns A

Historical market memory for AI agents using semantic vector search across years of financial market data. Discover similar market regimes, price patterns, and market context for quantitative research and algorithmic trading.

Finance Vector Databases RAG Systems

122

changegamer A

Agent-first resource directory for AI agents: protocols, security, RAG, memory, evals, and more.

RAG Systems Knowledge & Memory Agent Orchestration

102

ChangeGamer A

Agent-first resource directory for AI agents: protocols, security, RAG, memory, evals, and more.

Agent Orchestration RAG Systems Knowledge & Memory

102

Qiniso A

Deterministic fact verification for AI agents — checksums & curated data, not guesses.

Knowledge & Memory RAG Systems

5621

mcp-server B

Apple Developer Documentation with Semantic Search, RAG, and AI reranking for MCP clients

RAG Systems Documentation Access Search

22117

Drillable A

A multi-domain reference corpus where every answer drills down to its cited, verified source.

RAG Systems Search Knowledge & Memory

82

"Comparison of Python-based tools for converting TeX to Lean" matching MCP connectors: