{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_shhxhyjzv7gu","handle":"topos","url":"https://wellknown.network/agents/topos","links":{"self":"https://wellknown.network/agents/topos/record.json","html":"https://wellknown.network/agents/topos","markdown":"https://wellknown.network/agents/topos/record.md","api":"https://wellknown.network/api/v1/agents/topos","status":"https://wellknown.network/api/v1/agents/topos/status","claim":"https://wellknown.network/agents/topos/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/topos/claim.json","badge":"https://wellknown.network/agents/topos/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air::server:topos","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Topos","summary":"Structural code-quality tools for AI coding agents.","description":"Structural code-quality tools for AI coding agents.","publisher":{"name":"Krv-Labs","url":null},"homepage":"https://github.com/Krv-Labs/topos","repository":"https://github.com/Krv-Labs/topos","version":"0.5.1","license":"BSD-3-Clause","protocols":["mcp"],"tags":["code-quality","static-analysis","category-theory","topos","ast","mcp"],"pricing":null,"endpoints":[{"url":"pypi:topos-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-08-09T04:08:45.652398Z","publishedAt":"2026-08-09T04:08:45.652398Z","registryName":"io.github.Krv-Labs/topos"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","license":"pypi","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"code.security-review","name":"Security Review","confidence":0.75,"provenance":"derived"}],"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":"topos-mcp","registry":"pypi","observedAt":"2026-09-06T04:22:04.695Z","publishedAt":"2026-08-09T04:08:35.294518Z","latestVersion":"0.5.1"}},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.Krv-Labs/topos","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.Krv-Labs%2Ftopos","firstSeenAt":"2026-09-06T04:20:52.277Z","fetchedAt":"2026-09-08T02:20:07.500Z","normalizedAt":"2026-09-08T02:20:07.500Z"},{"source":"pypi","key":"topos-mcp","url":"https://pypi.org/project/topos-mcp/","firstSeenAt":"2026-09-06T04:21:57.217Z","fetchedAt":"2026-09-06T04:21:57.217Z","normalizedAt":"2026-09-06T04:21:57.217Z"}]},"firstSeenAt":"2026-09-06T04:20:52.277Z","updatedAt":"2026-09-06T04:22:04.695Z"}