lean-docker-mcp

MCP Lean 4 dockerised execution environment

GitHubスター

0

ユーザー評価

未評価

お気に入り

0

閲覧数

10

フォーク

1

イシュー

0

インストール方法
難易度
中級
推定所要時間
10-20

追加リソース

作者情報
Misanthropic AI

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

0

フォロワー

21

リポジトリ

0

Gist

0

貢献数

関連するMCP
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