{"id":"4773df59-454d-4afd-89b6-cc85feabf852","shortId":"CGZP2w","kind":"mcp","title":"io.github.daedalus/mcp-z3-prover","tagline":"MCP server exposing Z3 solver API","description":"MCP server exposing Z3 solver API","tags":["github","daedalus","mcp","prover"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.daedalus%2Fmcp-z3-prover","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on anthropic_mcp","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-07-17T13:24:32.754Z","embedding":null,"createdAt":"2026-04-18T20:33:26.589Z","updatedAt":"2026-07-17T13:24:32.754Z","lastSeenAt":"2026-07-17T13:24:32.754Z","tsv":"'/mcp-z3-prover':3 'api':9,15 'expos':6,12 'io.github.daedalus':2 'io.github.daedalus/mcp-z3-prover':1 'mcp':4,10 'server':5,11 'solver':8,14 'transport-stdio' 'z3':7,13","prices":[{"id":"7cb94091-d60f-440a-8a58-ec02dba2ea7f","listingId":"4773df59-454d-4afd-89b6-cc85feabf852","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-18T20:33:26.589Z"}],"sources":[{"listingId":"4773df59-454d-4afd-89b6-cc85feabf852","source":"anthropic_mcp","sourceId":"io.github.daedalus/mcp-z3-prover:0.1.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-04-18T20:33:26.589Z","lastSeenAt":"2026-07-17T13:24:32.754Z"}],"details":{"listingId":"4773df59-454d-4afd-89b6-cc85feabf852","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.1.0","transport":"stdio","server_name":"io.github.daedalus/mcp-z3-prover"},"updatedAt":"2026-07-17T13:24:32.754Z"}}