YouTube Transcript

Integrates with Ragie's knowledge base retrieval system to enable efficient querying and information extraction from large-scale datasets.

Official Tatum blockchain MCP server giving you RPC and API read and write data access to 130+ blockchain protocols. Full instal guide: https://github.com/tatumio/blockchain-mcp Tools and features: ∙ 130+ Networks: Bitcoin, Ethereum, Polygon, Arbitrum, Base, Solana, and many more ∙ Blockchain Data: blocks, transactions, balances, network info and more ∙ RPC Gateway: direct access to all blockchain RPC endpoints

Integrates with Paperless-NGX API to provide document management operations including listing, searching, editing, and uploading for efficient organization and retrieval of digital files.

Enables language models to perform web searches through SearXNG, a privacy-focused metasearch engine, with customizable parameters like categories, time ranges, and pagination.

Access accurate local and UTC time information.

LeanTool is a simple utility that connects LLMs with a "Code Interpreter" for the Lean programming language/interactive theorem prover. Current LLMs often have trouble with outputting code with correct Lean 4 syntax, due to the recent rapid changes in the Lean language and its libraries. By allowing LLMs to talk directly to Lean, they are given opportunities to fix their mistakes.