JinaAI

Integrates with nostrdb to enable local Nostr data querying and analysis.

Integrates Retrieval-Augmented Generation using Qdrant vector database and embeddings to enable semantic search and management of documentation.

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.

Connects to GitHub repositories, enabling natural language queries about code structure, dependencies, and development history.

Integrates with SearXNG instances to provide unified search capabilities across multiple engines for tasks like information gathering and fact-checking.

Model Context Protocol (MCP) server that interacts with Shopify Dev. This protocol supports various tools to interact with different Shopify APIs.