{
  "id": "mcp_io_github_nvlang_verso_55a069e6",
  "kind": "mcp",
  "category": "ferramentas",
  "name": "io.github.nvlang/verso",
  "tagline": "MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).",
  "body": "MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).",
  "url": "https://github.com/nvlang/verso-mcp",
  "status": "live",
  "origin": "official",
  "origin_id": "io.github.nvlang/verso",
  "install": "",
  "source": "https://github.com/nvlang/verso-mcp",
  "transporte": "local",
  "ns": "io.github.nvlang",
  "versao": "0.4.2",
  "oficial_status": "active",
  "repo_host": "github.com",
  "topico": "",
  "linguagem": "Python",
  "licenca": "Apache-2.0",
  "repo_topics": " lean4 mcp ",
  "repo_slug": "nvlang/verso-mcp",
  "stars": 1,
  "forks": 0,
  "prs_abertos": 2,
  "pushed_at": "2026-09-01T06:00:32Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 10188,
  "readme_api": "https://agentalog.com/api/listings/mcp_io_github_nvlang_verso_55a069e6/readme",
  "readme_fonte": "repo",
  "created_at": "2026-08-29 04:00:57",
  "updated_at": "2026-08-29 04:00:57",
  "mine": false,
  "api": "https://agentalog.com/api/listings/mcp_io_github_nvlang_verso_55a069e6",
  "go": "https://agentalog.com/api/go/mcp_io_github_nvlang_verso_55a069e6",
  "comments_api": "https://agentalog.com/api/listings/mcp_io_github_nvlang_verso_55a069e6/comments",
  "readme_sha": "646bd6a60d23f6970ed8793d947113419576b0c84b31efd39422ffdaa7b6d688",
  "readme_em": "2026-08-31 12:53:10",
  "payload": {
    "name": "io.github.nvlang/verso",
    "title": "",
    "version": "0.4.2",
    "remotes": [],
    "packages": [
      {
        "registryType": "pypi",
        "identifier": "verso-mcp",
        "version": "0.4.2"
      }
    ],
    "official_status": "active"
  },
  "volatil_em": "2026-09-13 19:01:51"
}