oOo0oOo

oOo0oOo has published 1 vetted tool for AI agents in the catalog: 1 MCP server.

All cards

1 card

MCP server for the Lean 4 language server: an agent reads proof goals and errors and searches for theorems inside your project

MCP serverExtended access550

It comes with an install command and an access level with reasons.

One command, using “lean-lsp-mcp” as an example. The SkillFoxx CLI detects the agent and puts the files in the right folder.

npx skillfoxx add mcp/lean-lsp-mcp

Access of the author’s cards

Did not find what you need from this author? Describe the task and Foxx AI will pick cards from the whole catalog. Match with Foxx AI