MCP Lean 4 dockerised execution environment
GitHubスター
0
ユーザー評価
未評価
お気に入り
閲覧数
22
フォーク
1
イシュー
特定の要件は記載されていません
Actively seeking misaligned AGI to usher in the era of dark and dystopian post-human slop singularity
フォロワー
21
リポジトリ
Gist
貢献数
🧠 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.
AI assistant built with Streamlit, NVIDIA NIM (LLaMa 3.3:70B) / Ollama, and Model Control Protocol (MCP).
一个高性能的文档转换服务器，同时支持 Model Context Protocol (MCP) 和 RESTful API 接口。将 PDF、Word 和 Excel 文档转换为 Markdown 格式，具备图片提取、页眉页脚移除和批量处理等高级功能
