LSP

Intégration du serveur LSP MCP
Intégration du serveur LSP MCP

Intégration du serveur LSP MCP

Le serveur LSP MCP connecte les serveurs Language Server Protocol (LSP) aux assistants IA, permettant une analyse avancée du code, une complétion intelligente, ...

5 min de lecture
AI Code Intelligence +4
Serveur Lean LSP MCP
Serveur Lean LSP MCP

Serveur Lean LSP MCP

Le serveur Lean LSP MCP fait le lien entre les assistants IA et les projets Lean Theorem Prover via le Language Server Protocol, permettant aux agents d’accéder...

4 min de lecture
Lean LSP +4