Mixed-Fleet-WP2/UPPAAL-MCP
⏳ 排队待测clientPython★ 0
An [MCP](https://modelcontextprotocol.io) server that lets an AI agent (Claude Code, Claude Desktop or any MCP client) model-check [UPPAAL](https://uppaal.org) timed-automata models with `verifyta`.
实测结果
待测
已收录进队列，尚未跑实测；安装方式与仓库信息来自 GitHub 元数据。收录时间 2026-11-10，最近一次抓取 2026-11-10。
还没轮到它。实测是逐条串行跑的，队列里的 Server 会在跑完后自动更新这一页（状态、工具数、安装命令都会变）。
- 实测时间
- —
如何使用
暂无自动识别的安装方式，请查看原仓库 README 手动安装。（这个仓库不是标准 PyPI / npm 包，或没有可执行 bin 入口）
仓库信息
- 全名
- Mixed-Fleet-WP2/UPPAAL-MCP
- 分类
- client
- Stars
- 0
- Forks
- 0
- 主要语言
- Python
- License
- 未标注
- 最近推送
- 2026-10-29
- 仓库创建
- 2026-10-28
- 首次收录
- 2026-11-10
- 最近抓取
- 2026-11-10