Lean4
Power your agent
Bu sunucuyu ekle
Install from the publisher. Not a PlugMCP endpoint.
Host a copy with our keys and logs.
No packaged release in the registry yet. Follow the repository README.
RepositoryPublisher installStep-by-step: add this in Claude
Remote URL or a command on your machine? How the two installs differ
PlugMCP’de çalıştır
Host a copy with our keys and logs.
A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.
BaşlatServer facts
Local- Transport
- stdio
- License
- MIT
- Last checked
- 2026-11-05
Tools
Tools
No tool list yet. Remote servers get one after the first health check.
FAQ
