Loading…

Lean Docker MCP — Cloud MCP Server | Trust: 39/100 | Conduid

Marketplace Builders Collections Docs

Back to Marketplace

☁️

Lean Docker MCP

Dockerised Lean4 execution environment for AI agents

0 installs

Trust: 39 — Low

Cloud

Installation

npx lean-docker-mcp

Ask AI about Lean Docker MCP

Powered by Claude · Grounded in docs

I know everything about Lean Docker MCP. Ask me about installation, configuration, usage, or troubleshooting.

0/500

Loading tools...

Reviews

Documentation

No README available

Trust & Verification

Trust Score39/100

Low

No ConduID identity

This server hasn't registered a cryptographic identity via the ConduID Protocol yet.

Links

GitHub Repository

Details

CategoryCloud

Authorartivus

Weekly installs0

PricingFree

Tags

Security Checklist

Has README

The marketplace for MCP servers. Discovery, trust, analytics, and monetization for AI agent components.

Explore

Marketplace
Collections
Top Rated
Trending

Builders

Documentation
SDK
Dashboard
API Reference

Company

GitHub
Twitter / X
Terms
Privacy

© 2026 Conduid. The trust layer for AI agent components.

Has License

Has Tests

Scoped Permissions

Pinned Dependencies

No Eval Usage