Snowflake

Integrates Google's Gemini AI models enabling real-time response streaming and LLM processing capabilities.

Integrates with Tavily API to provide real-time web search and content extraction capabilities for research, aggregation, and fact-checking tasks.

Python-based web crawler extracts website content into markdown files, enabling efficient content aggregation and site archiving.

Enables creation and manipulation of PowerPoint presentations with customizable layouts, themes, and formatting options, saving files to an accessible user directory without requiring manual PowerPoint interaction.

Provides functionality to read and extract content from protected and unprotected PDF files, enabling document analysis, content indexing, and data extraction workflows.

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.