DuckDuckGo Search

Provides persistent memory storage, retrieval, and search capabilities for maintaining conversation context across sessions through JSON-RPC endpoints with tagging support.

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.

Integrates with Redis databases to enable fast, in-memory key-value operations for caching, session management, and real-time data processing.

Integrates Google search and webpage content extraction via Chrome browser automation, enabling access up-to-date web information for tasks like fact-checking and research.

Integrates with Data.gov to enable searching, retrieving, and accessing U.S. government datasets for data-driven analysis and research projects.

Provides semantic document search and retrieval through vector embeddings, enabling context-aware responses backed by specific documentation sources