3 repos
oOo0oOo/lean-lsp-mcp
Lean Theorem Prover MCP
501
665 commits
oOo0oOo/leanclient
Python client to interact with the lean4 language server.
47
321 commits
hashicorp/terraform-mcp-server
The Terraform MCP Server provides seamless integration with Terraform ecosystem, enabling advanced…
1,527
397 commits
