Math Integrations

Browse all content in the Math Integrations category

Integrations

Lean LSP MCP

Integrate FlowHunt with the Lean LSP MCP server to empower AI agents in automating Lean mathematical proofs, providing advanced diagnostics, auto proofing, code completions, and theorem search through seamless LSP connectivity for VSCode, Cursor, Claude Code, and more.

AI Lean Automation +3
• 4 min read

Other Categories

mcp servers (638) ai tools (512) glossary (310) integrations (228) flows (212) components (129) ai integrations (116) database integrations (49) content (46) developer tools (39)