lean-docker-mcp

MCP Lean 4 dockerised execution environment

GitHub Stars

0

User Rating

Not Rated

Favorites

0

Views

6

Forks

1

Issues

0

Technical Information

Programming Languages

PythonPrimary Language

System Requirements

No specific requirements are documented

Maintenance Status

Stale

GitHub Topics

File SystemAI/LLMContainer
Author Information
Misanthropic AI

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

0

Followers

21

Repositories

0

Gists

0

Total Contributions

Related MCPs
thinkchain logo

🧠 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
okta-mcp-server logo

The Okta MCP Server is a groundbreaking tool built by the team at Fctr that enables AI models to interact directly with your Okta environment using the Model Context Protocol (MCP). Built specifically for IAM engineers, security teams, and Okta administrators, it implements the MCP specification to help work with Okta enitities

Python
mem0 logo
mem0
39624

Universal memory layer for AI Agents; Announcing OpenMemory MCP - local and secure memory management.

Python