Retrieve available LEAN versions with basic details for QuantConnect algorithmic trading platform. Access version information to select appropriate releases for development.
Retrieve available LEAN engine versions for algorithmic trading strategies on QuantConnect. Use this tool to check version compatibility before running backtests or deploying live algorithms.
Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
A local MCP server that enables AI applications like Claude Desktop to securely access and work with Obsidian vaults, providing capabilities for reading notes, executing templates, and performing semantic searches.
A meta-server that aggregates multiple MCP servers into a single interface, reducing token usage by 98%+ through progressive tool discovery and direct code execution that processes data between tools without consuming context window space.