Lean - other APIs

Copy

• Copy for LLM

  Copy page as Markdown for LLMs
• View as Markdown

  Open this page as Markdown
• Open in ChatGPT

  Get insights from ChatGPT
• Open in Claude

  Get insights from Claude
• Connect to Cursor

  Install MCP server on Cursor
• Connect to VS Code

  Install MCP server on VS Code

Use these methods to check service availability and retrieve LRA configuration.

• Service status — verifyLeanStatus, verifyStatusWs
• getLraCapabilities — retrieve the configuration of a LRA