AWS API MCP Server

Extract and analyze video captions and subtitles in multiple languages.

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 the Unstructured API to enable document processing operations including managing connectors and workflows for extracting structured information from documents without switching tools.

Integrates Julia documentation and source code retrieval for quick reference and exploration within AI workflows.

Integrates with OpenWeatherMap API to provide real-time weather conditions, forecasts, air quality information, historical data, location search, and weather alerts for seamless access to accurate weather information during conversations.

Access and managing ledger files.