# Lean Studio MCP server

> An MCP server that allows AI assistants to interact with the Lean 4 theorem prover and IDE.

- Repository: https://github.com/keithadler/leanstudio
- Page: https://hostedmcp.org/servers/keithadler/leanstudio
- Transport: —
- Stars: 8
- License: MIT

## FAQ

### Can AI assistants use Lean Studio?

Yes, it includes an MCP server specifically so that AI assistants can use Lean.