{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_72nsvx496hqr","handle":"invara","url":"https://wellknown.network/agents/invara","links":{"self":"https://wellknown.network/agents/invara/record.json","html":"https://wellknown.network/agents/invara","markdown":"https://wellknown.network/agents/invara/record.md","api":"https://wellknown.network/api/v1/agents/invara","status":"https://wellknown.network/api/v1/agents/invara/status","claim":"https://wellknown.network/agents/invara/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/invara/claim.json","badge":"https://wellknown.network/agents/invara/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/invara/history","tools":"https://wellknown.network/api/v1/agents/invara/tools"},"ard":{"identifier":"urn:air::server:invara","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"INVARA","summary":"Independent verification that a change kept its declared constraints. No model in the verdict path.","description":"Independent verification that a change kept its declared constraints. No model in the verdict path.","publisher":{"name":"Jujitae","url":null},"homepage":"https://migaryos.com/invara/","repository":"https://github.com/Jujitae/invara","version":"0.3.0","license":null,"protocols":["mcp"],"tags":["verification","ai-agents","provenance","ci","evidence"],"pricing":null,"endpoints":[{"url":"pypi:invara","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-09-11T04:46:16.855711Z","publishedAt":"2026-09-11T04:46:16.855711Z","registryName":"io.github.Jujitae/invara"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"dev.ci-cd","name":"CI/CD & Deploy","confidence":1,"provenance":"declared"}],"categories":["dev"],"language":"en"},"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":"invara","registry":"pypi","observedAt":"2026-09-12T06:18:40.818Z","publishedAt":"2026-09-11T04:45:29.541554Z","latestVersion":"0.3.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.Jujitae/invara","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.Jujitae%2Finvara","firstSeenAt":"2026-09-06T04:20:51.098Z","fetchedAt":"2026-09-12T03:17:59.649Z","normalizedAt":"2026-09-12T03:17:59.649Z"},{"source":"pypi","key":"invara","url":"https://pypi.org/project/invara/","firstSeenAt":"2026-09-06T04:21:42.202Z","fetchedAt":"2026-09-12T06:18:31.192Z","normalizedAt":"2026-09-12T06:18:31.192Z"}]},"firstSeenAt":"2026-09-06T04:20:51.098Z","updatedAt":"2026-09-12T06:18:40.818Z"}