{"id":"874561b8-91dc-43de-b4d5-cf238b584e3b","shortId":"LTvjzx","kind":"mcp","title":"Atomadic Forge","tagline":"Architecture compiler for AI code","description":"Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.","tags":["github","atomadictech","atomadic","forge"],"capabilities":["mcp","transport-streamable-http","remote-server"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://forge.atomadic.tech/mcp","protocol":"mcp","transport":"streamable-http","auth":{"type":"mcp","details":{"transport":"streamable-http","remote_url":"https://forge.atomadic.tech/mcp"}},"qualityScore":"0.450","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on anthropic_mcp · remote streamable-http","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-06-20T09:21:44.987Z","embedding":null,"createdAt":"2026-05-07T22:20:40.670Z","updatedAt":"2026-06-20T09:21:44.987Z","lastSeenAt":"2026-06-20T09:21:44.987Z","tsv":"'100/100':20 '11':13 '872':17 '92':15 'action':16 'ai':6,11 'architectur':3,8 'atomad':1 'cert':23 'code':7,12 'compil':4,9 'forg':2 'lean4':18 'mcp' 'proof':19 'remote-server' 'self':22 'self-cert':21 'tool':14 'transport-streamable-http'","prices":[{"id":"02e0ac3e-a44d-4046-bd8c-c27d14f152d2","listingId":"874561b8-91dc-43de-b4d5-cf238b584e3b","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"streamable-http","remote_url":"https://forge.atomadic.tech/mcp"},"createdAt":"2026-05-07T22:20:40.670Z"}],"sources":[{"listingId":"874561b8-91dc-43de-b4d5-cf238b584e3b","source":"anthropic_mcp","sourceId":"io.github.atomadictech/atomadic-forge:0.87.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-05-07T22:20:40.670Z","lastSeenAt":"2026-06-20T09:21:44.987Z"}],"details":{"listingId":"874561b8-91dc-43de-b4d5-cf238b584e3b","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.87.0","transport":"streamable-http","remote_url":"https://forge.atomadic.tech/mcp","server_name":"io.github.atomadictech/atomadic-forge","server_title":"Atomadic Forge"},"updatedAt":"2026-06-20T09:21:44.987Z"}}