Home › Marketplace › Lean Docker MCP
📦
Lean Docker MCP
by Unclaimed cloud
Dockerised Lean4 execution environment for AI agents
Free
View on GitHub Claim this server
Quick Install
npx lean-docker-mcp

No README available for this server yet.

No reviews yet. Be the first to leave one on the marketplace.

Trust Score

39
/ 100 · Low Trust
✗Authentication required
✗HTTPS enforced
✗Audit logging
✗Scoped permissions

Statistics

Installs0
GitHub Stars0
Rating—
License—
ProtocolMCP

Tags

cloud

Embed Trust Badge

Add this to your README to show your trust score.

[![Conduid](https://conduid.com/badge/lean-docker-mcp.svg)](https://conduid.com/servers/lean-docker-mcp)