MetaMCP

Provides a secure bridge between LLMs and Riza's isolated code interpreter API, enabling writing, saving, editing, and executing code safely in a sandboxed environment with persistent tool management across conversations.

Query and analyze SQLite databases directly.

Integrates with PyPDF2 to enable efficient text extraction and information retrieval from PDF documents for various applications.

Provides Unix command documentation, including help pages, man pages, and usage information, enabling retrieval and exploration of system commands within conversations.

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.

A Model Context Protocol server that wraps the Chatvolt API, providing tools to manage agents, datastores, and CRM workflows.