Placid Image Generator

A Model Context Protocol (MCP) server for interacting with Joe Sandbox Cloud. This server exposes rich analysis and IOC extraction capabilities from Joe Sandbox and integrates cleanly into any MCP-compatible application (e.g. Claude Desktop, Glama, or custom LLM agents).

Integrates with a YouTube summarization API to enable video analysis, retrieval of summaries, and follow-up conversations about content.

Integrates with arXiv to enable flexible paper search, PDF downloading, and text extraction for literature review, research trend analysis, and automated summarization in scientific domains.

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 DeepSeek's R1 reasoning engine to enhance problem-solving, analysis, and decision-making capabilities.

Analyze Xmind mind maps on your local machine using fuzzy search and hierarchical navigation.