{"id":"35149dbe-43f1-42db-bca3-df0976078f54","shortId":"PTnFDU","kind":"mcp","title":"io.github.mifactory-bot/mifactory-logic-verifier","tagline":"Verify AI agent reasoning and logic for errors and contradictions","description":"Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.","tags":["github","mifactory","bot","logic","verifier"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.mifactory-bot%2Fmifactory-logic-verifier","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-14T07:22:44.233Z","embedding":null,"createdAt":"2026-04-18T20:39:10.709Z","updatedAt":"2026-07-14T07:22:44.233Z","lastSeenAt":"2026-07-14T07:22:44.233Z","tsv":"'agent':5,15 'ai':4,14 'bot/mifactory-logic-verifier':2 'contradict':12,22 'error':10,20 'io.github.mifactory':1 'logic':8,18 'mcp' 'pay':24 'pay-per-us':23 'per':25 'reason':6,16 'transport-stdio' 'use':26 'verifi':3,13","prices":[{"id":"6e7eefd1-d809-44d4-a69e-e3d75a7011c3","listingId":"35149dbe-43f1-42db-bca3-df0976078f54","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-18T20:39:10.709Z"}],"sources":[{"listingId":"35149dbe-43f1-42db-bca3-df0976078f54","source":"anthropic_mcp","sourceId":"io.github.mifactory-bot/mifactory-logic-verifier:1.0.3","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-04-18T20:39:10.709Z","lastSeenAt":"2026-07-14T07:22:44.233Z"}],"details":{"listingId":"35149dbe-43f1-42db-bca3-df0976078f54","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"1.0.3","transport":"stdio","server_name":"io.github.mifactory-bot/mifactory-logic-verifier"},"updatedAt":"2026-07-14T07:22:44.233Z"}}