回首頁io.github.nvlang/verso
MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.nvlang/verso |
| 版本 | 0.4.2 |
| 分類 | 檔案與文件開發工具 |
| 遠端網址 | — |
| 安裝套件 | pypi：verso-mcp（stdio） |
| 原始碼 | https://github.com/nvlang/verso-mcp |
| 網站 | — |
| 最後更新 | 2026-05-18T03:37:53.731563Z |