{"id":"2d7f50ff-85a1-4301-95c2-56390f699525","shortId":"t2Kaps","kind":"mcp","title":"io.github.mrfentmen/b-formal-method-mcp","tagline":"B (Formal Method) MCP: real tools for real work.","description":"B (Formal Method) MCP: real tools for real work.","tags":["github","mrfentmen","formal","method","mcp"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.mrfentmen%2Fb-formal-method-mcp","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-11-09T14:28:48.716Z","embedding":null,"createdAt":"2026-11-08T10:28:06.035Z","updatedAt":"2026-11-09T14:28:48.716Z","lastSeenAt":"2026-11-09T14:28:48.716Z","tsv":"'/b-formal-method-mcp':3 'b':4,13 'formal':5,14 'io.github.mrfentmen':2 'io.github.mrfentmen/b-formal-method-mcp':1 'mcp':7,16 'method':6,15 'real':8,11,17,20 'tool':9,18 'transport-stdio' 'work':12,21","prices":[{"id":"1b73fdb4-c2a3-4050-a985-41bcecae7584","listingId":"2d7f50ff-85a1-4301-95c2-56390f699525","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-11-08T10:28:06.035Z"}],"sources":[{"listingId":"2d7f50ff-85a1-4301-95c2-56390f699525","source":"anthropic_mcp","sourceId":"io.github.mrfentmen/b-formal-method-mcp:1.0.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-11-08T10:28:06.035Z","lastSeenAt":"2026-11-09T14:28:48.716Z"}],"details":{"listingId":"2d7f50ff-85a1-4301-95c2-56390f699525","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"1.0.0","transport":"stdio","server_name":"io.github.mrfentmen/b-formal-method-mcp"},"updatedAt":"2026-11-09T14:28:48.716Z"}}