{"data":{"name":"io.github.nvlang/verso","title":null,"description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","version":"0.4.2","websiteUrl":null,"repositoryUrl":"https://github.com/nvlang/verso-mcp","remotes":[],"packages":[{"version":"0.4.2","identifier":"verso-mcp","runtimeHint":"stdio","registryType":"pypi","runtimeArguments":null,"environmentVariables":null}],"status":"active","isLatest":true,"source":"official-registry","verification":"official","confidence":100,"stars":null,"sources":[{"stars":null,"title":null,"source":"official-registry","sourceId":"io.github.nvlang/verso","updatedAt":"2026-05-18T03:37:53.731Z","confidence":100,"websiteUrl":null,"description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","verification":"official","repositoryUrl":"https://github.com/nvlang/verso-mcp"}],"publishedAt":"2026-05-18T03:37:53.731Z","updatedAt":"2026-05-18T03:37:53.731Z","resourceType":"mcp-server","callable":false,"runtime":{"callable":false,"protocols":["mcp"]},"interfaces":[{"protocol":"mcp","package":"verso-mcp","registryType":"pypi","version":"0.4.2"}],"profile":{"apiVersion":"1","schemaVersion":"1","id":"mcp-server:io.github.nvlang%2Fverso","resourceType":"mcp-server","canonicalUrl":"https://www.agentsjunction.com/api/v1/servers/io.github.nvlang%2Fverso","name":"io.github.nvlang/verso","description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","interfaces":[{"protocol":"mcp","package":"verso-mcp","registryType":"pypi","version":"0.4.2"}],"capabilities":[],"identity":{"source":"official-registry","websiteUrl":null,"repositoryUrl":"https://github.com/nvlang/verso-mcp","version":"0.4.2"},"verification":{"state":"official","confidence":100},"operations":{"resourceType":"mcp-server","name":"io.github.nvlang/verso","status":"unknown","lastCheckedAt":null,"lastSuccessfulCheck":null,"latencyMs":null,"consecutiveFailures":0,"isStale":false,"checks":{"endpointReachable":null,"protocolValid":null,"agentCardValid":null,"mcpHandshakeValid":null},"lastSeen":null,"lastSuccessfulInteraction":null,"lastHealthCheck":null,"source":{"type":"health-check","url":null},"observedAt":null},"security":null,"timestamps":{"createdAt":"2026-05-18T03:37:53.731Z","updatedAt":"2026-05-18T03:37:53.731Z","observedAt":null},"compatibility":{"serverVersion":"0.4.2","protocolVersions":[{"protocol":"mcp","version":null}]}}}}