⚙️

Lean Docker MCP

$8.35

DevOps python Verified 5/5

Dockerized Lean4 execution environment for AI agents.

devopspythonleandocker

Install

uvx lean-docker-mcp

Sentinel: 5/5 — Verified

Language: python

Category: DevOps

Slug: lean-docker-mcp

Docker: ✓ Yes

Verified: ✓ Yes

Price: $8.35

Secure checkout · Instant delivery

Embed this badge in your README

[![Sentinel 5/5](https://marketnow.site/badge/lean-docker-mcp.svg)](https://marketnow.site/skill/lean-docker-mcp)