MCP ContainerMCP Container
HomeWhat is MCPMCP SearchCommunityBlog
  1. Home
  2. MCPs
  3. lean-docker-mcp

lean-docker-mcp

MCP Lean 4 dockerised execution environment

GitHub

GitHub Stars

0

User Rating

Not Rated

Favorites

0

Views

26

Forks

1

Issues

0

READMEInstallationTechnical DetailsReviews(0)

Reviews & Ratings

No reviews yet

Post Review

No reviews yet

Be the first to review this MCP and help others with useful information!

Write the first review
Author Information
Misanthropic AI
Misanthropic AI

Actively seeking misaligned AGI to usher in the era of dark and dystopian post-human slop singularity

GitHub

0

Followers

21

Repositories

0

Gists

0

Total Contributions

Tags
File SystemAI/LLMContainer
Related MCPs
thinkchain logo
thinkchain
180

🧠 Advanced Claude streaming interface with interleaved thinking, dynamic tool discovery, and MCP integration. Watch Claude think through problems in real-time while executing tools with live progress updates.

Python
LLaMa-MCP-Streamlit logo
LLaMa-MCP-Streamlit
42

AI assistant built with Streamlit, NVIDIA NIM (LLaMa 3.3:70B) / Ollama, and Model Control Protocol (MCP).

Python
any2markdown logo
any2markdown
36

一个高性能的文档转换服务器,同时支持 Model Context Protocol (MCP) 和 RESTful API 接口。将 PDF、Word 和 Excel 文档转换为 Markdown 格式,具备图片提取、页眉页脚移除和批量处理等高级功能

Python

MCP Container

Discover the perfect MCP tools for your workflow and accelerate your AI development

Powered by UHD Inc.

Home

HomeMCP SearchCommunityBlog