NestDaddy
All servers NestDaddy MCP Blog Sign inTry it free
AI and media

Mifactory Logic Verifier

io.github.mifactory-bot/mifactory-logic-verifier ยท v1.0.3

Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.

Source code Set it up

Connect Runs on your machine

Terminal
claude mcp add mifactory-logic-verifier -e ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY> -e STRIPE_SECRET_KEY=<STRIPE_SECRET_KEY> -- npx -y @mifactory-bot/[email protected]
claude_desktop_config.json
{
  "mcpServers": {
    "mifactory-logic-verifier": {
      "command": "npx",
      "args": [
        "-y",
        "@mifactory-bot/[email protected]"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
        "STRIPE_SECRET_KEY": "<STRIPE_SECRET_KEY>"
      }
    }
  }
}
~/.cursor/mcp.json
{
  "mcpServers": {
    "mifactory-logic-verifier": {
      "command": "npx",
      "args": [
        "-y",
        "@mifactory-bot/[email protected]"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
        "STRIPE_SECRET_KEY": "<STRIPE_SECRET_KEY>"
      }
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "mifactory-logic-verifier": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@mifactory-bot/[email protected]"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
        "STRIPE_SECRET_KEY": "<STRIPE_SECRET_KEY>"
      }
    }
  }
}

Replace the values in angle brackets with your own. Keys stay on your machine; we never see them.

Tools

This server runs locally, so its tools are listed by your MCP client once it starts.

Environment variables

NameDescription
ANTHROPIC_API_KEY
Required, secret		Anthropic API key
STRIPE_SECRET_KEY
Required, secret		Stripe secret key for billing

Details

Package@mifactory-bot/[email protected] (NPM, streamable-http)
First published6 Mar 2026
Last updated6 Mar 2026
Registry nameio.github.mifactory-bot/mifactory-logic-verifier

More ai and media servers See all

  • bv7x strategy agents

    Find bv7x prediction agents on Robinhood Chain by market; quote their sealed calls, sold via x402.

  • Chronary

    Calendar API for AI agents: events, availability, Google/Microsoft setup, scheduling, and iCal.

  • Mastering

    Audio mastering for AI agents: LUFS analysis, Suno artifact cleanup, free daily master.

  • Modulos AI Governance Platform

    Evaluate Modulos (EU AI Act, ISO 42001, NIST AI RMF): capabilities, trust, comparisons. Book a demo.

  • naulon

    Check citations and retractions by DOI, and see the x402 price an AI agent pays to cite a source.

  • NextConstraint

    Your SaaS funnel's costliest leak, its fix, watchdog alerts and verdicts, from NextConstraint.

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.