Lean Docker MCP

MCPOpen SourceMIT12.2

by misanthropic-ai • Security & Privacy

Sandboxed Lean4 execution environment for AI agents.

Example Use Cases

1
Execute Lean4 code in a secure, isolated environment.
2
That require persistent state management between Lean4 execution steps.
3
That perform high-throughput computing with container pooling capabilities.

Description

This Lean Docker MCP server provides a secure and isolated environment for executing Lean4 code within Docker containers. It supports transient and persistent execution environments, allowing state maintenance between execution steps. Ideal for agents needing a safe Lean4 sandbox.

Quick Actions

View on GitHub

Security

Scanned 2 month(s) ago

Risk Level

MINIMAL

Read-only data retrieval, no side effects

Trust Score

D44/100

4/17 checks passed

Scores are informational only and provided “as is” without warranty. AgentHotspot assumes no liability for actions taken based on these ratings.

Quick Stats

Service TypeMCP

Pricing ModelFree

Capabilities0 Tools / 0 Prompts / 0 Resources

Ownermisanthropic-ai

CategorySecurity & Privacy

DependenciesStandalone