{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_hatdp8ffvdtw","handle":"verso","url":"https://wellknown.network/agents/verso","links":{"self":"https://wellknown.network/agents/verso/record.json","html":"https://wellknown.network/agents/verso","markdown":"https://wellknown.network/agents/verso/record.md","api":"https://wellknown.network/api/v1/agents/verso","status":"https://wellknown.network/api/v1/agents/verso/status","claim":"https://wellknown.network/agents/verso/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/verso/claim.json","badge":"https://wellknown.network/agents/verso/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air::server:verso","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"verso","summary":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","publisher":{"name":"nvlang","url":null},"homepage":null,"repository":"https://github.com/nvlang/verso-mcp","version":"0.4.2","license":null,"protocols":["mcp"],"tags":["documentation","lean","mcp","model-context-protocol","verso"],"pricing":null,"endpoints":[{"url":"pypi:verso-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-05-18T03:37:53.731563Z","publishedAt":"2026-05-18T03:37:53.731563Z","registryName":"io.github.nvlang/verso"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"code.documentation","name":"Code Documentation","confidence":1,"provenance":"declared"}],"categories":["code"]},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"verso-mcp","registry":"pypi","observedAt":"2026-09-06T22:23:52.267Z","publishedAt":"2026-05-18T03:37:42.452502Z","latestVersion":"0.4.2"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.nvlang/verso","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.nvlang%2Fverso","firstSeenAt":"2026-09-06T22:22:27.741Z","fetchedAt":"2026-09-06T22:22:27.741Z","normalizedAt":"2026-09-06T22:22:27.741Z"},{"source":"pypi","key":"verso-mcp","url":"https://pypi.org/project/verso-mcp/","firstSeenAt":"2026-09-06T22:23:44.233Z","fetchedAt":"2026-09-06T22:23:44.233Z","normalizedAt":"2026-09-06T22:23:44.233Z"}]},"firstSeenAt":"2026-09-06T22:22:27.741Z","updatedAt":"2026-09-06T22:23:52.267Z"}