{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_k335mun8g3k4","handle":"atomadic-forge","url":"https://wellknown.network/agents/atomadic-forge","links":{"self":"https://wellknown.network/agents/atomadic-forge/record.json","html":"https://wellknown.network/agents/atomadic-forge","markdown":"https://wellknown.network/agents/atomadic-forge/record.md","api":"https://wellknown.network/api/v1/agents/atomadic-forge","status":"https://wellknown.network/api/v1/agents/atomadic-forge/status","claim":"https://wellknown.network/agents/atomadic-forge/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/atomadic-forge/claim.json","badge":"https://wellknown.network/agents/atomadic-forge/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/atomadic-forge/history","tools":"https://wellknown.network/api/v1/agents/atomadic-forge/tools"},"ard":{"identifier":"urn:air:forge.atomadic.tech:server:atomadic-forge","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Atomadic Forge","summary":"Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.","description":"Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.","publisher":{"name":"atomadictech","url":null},"homepage":"https://forge.atomadic.tech","repository":"https://github.com/atomadictech/atomadic-forge","version":"0.87.0","license":"MIT","protocols":["mcp"],"tags":["deprecated","atomadic","forge","lattice","omega"],"pricing":null,"endpoints":[{"url":"https://forge.atomadic.tech/mcp","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"pypi:atomadic-forge","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-05-11T22:01:27.517007Z","publishedAt":"2026-05-11T22:01:27.517007Z","registryName":"io.github.atomadictech/atomadic-forge"},"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":[],"categories":[],"language":"fr"},"observed":{"status":"unavailable","statusReason":"8 consecutive checks failed; never seen responding (latest 4d ago).","lastOkAt":null,"lastProbedAt":"2026-10-06T01:24:38.780Z","statusComputedAt":"2026-10-06T01:27:09.711Z","reliability30d":{"probes":5,"successRate":0,"p50Ms":131,"basis":"none","measures":{"availability":"availability","latency":"response time","tools":"not observed","summary":"No successful checks in the window."},"checks":{"total":4,"ok":0,"authBoundaryOk":0,"serviceOk":0,"note":"Counted from the observation rows for the window, checks of the server only (HTTP, A2A card, MCP initialize). ok = authBoundaryOk + serviceOk. `probes` is the sum of daily rollups and includes registry checks, so it can differ from `total`."}},"latestObservations":[{"at":"2026-10-06T01:24:38.780Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":32,"error":"http 404","detail":null},{"at":"2026-09-28T09:27:49.199Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":177,"error":"http 404","detail":null},{"at":"2026-09-21T17:30:18.933Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":397,"error":"http 404","detail":null},{"at":"2026-09-14T11:20:26.737Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":28,"error":"http 404","detail":null},{"at":"2026-09-10T02:26:51.379Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":22,"error":"http 404","detail":null},{"at":"2026-09-08T02:21:34.573Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":19,"error":"http 404","detail":null},{"at":"2026-09-06T23:22:12.517Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":80,"error":"http 404","detail":null},{"at":"2026-09-06T11:30:04.926Z","kind":"mcp_initialize","ok":false,"httpStatus":404,"latencyMs":24,"error":"http 404","detail":null}],"tools":null,"package":{"name":"atomadic-forge","registry":"pypi","observedAt":"2026-09-06T10:21:56.347Z","publishedAt":"2026-06-07T23:33:12.223120Z","latestVersion":"0.88.0"},"toolSurface":null,"endpointFacts":[{"id":"ep_fhtexwvkyvqz","url":"https://forge.atomadic.tech/mcp","type":"mcp_streamable_http","factsCheckedAt":"2026-10-06T01:24:38.787Z","auth":{"observedAt":"2026-10-06T01:24:38.810Z","authRequired":false,"scheme":null,"resourceMetadata":null,"authorizationServer":null,"conformance":{"dpop":false,"rfc8414":false,"rfc9728":false,"pkceS256":false,"clientIdMetadataDocument":false,"dynamicClientRegistration":false}},"tls":{"observedAt":"2026-10-06T01:24:38.822Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"atomadic.tech","issuer":{"commonName":"YE2","organization":"Let's Encrypt"},"validFrom":"2026-10-04T00:20:22.000Z","validTo":"2027-01-02T00:20:21.000Z","daysToExpiry":83,"sanCount":2,"fingerprint256":"29:14:C6:2A:8D:9D:CC:93:D2:AA:24:DD:F8:F3:91:D9:55:74:6F:46:82:11:E1:37:9F:9E:0D:3A:04:69:B8:B1"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.github.atomadictech/atomadic-forge","url":"https://registry.modelcontextprotocol.io/v0/servers/io.github.atomadictech%2Fatomadic-forge","firstSeenAt":"2026-09-06T10:20:27.442Z","fetchedAt":"2026-10-07T06:22:20.970Z","normalizedAt":"2026-10-07T06:22:20.970Z"},{"source":"pypi","key":"atomadic-forge","url":"https://pypi.org/project/atomadic-forge/","firstSeenAt":"2026-09-06T10:21:16.063Z","fetchedAt":"2026-10-09T17:20:49.187Z","normalizedAt":"2026-10-09T17:20:49.187Z"}]},"firstSeenAt":"2026-09-06T10:20:27.442Z","updatedAt":"2026-09-06T10:21:56.347Z"}