MCP server

Mifactory Logic Verifier

io.github.mifactory-bot/mifactory-logic-verifier

Checked 26 Oct 2026, 08:31 UTC · Still published on its registry; checked against OSV.dev; never run by us

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

Runs on your computer

Source

At a glance

Type: MCP server
Publisher: Not verified
Status: Runs on your computer
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code
Last checked: 26 Oct 2026, 08:31 UTC

Connect it to your agent

Add to Cursor Add to VS Code VS Code Insiders

Opens the app, which shows the server and asks you to confirm. It then runs the package on your computer with your permissions. For other apps, copy the setup below.

Claude Code

claude mcp add mifactory-logic-verifier --env ANTHROPIC_API_KEY=YOUR_VALUE --env STRIPE_SECRET_KEY=YOUR_VALUE -- npx -y @mifactory-bot/logic-verifier@1.0.3

Claude Desktop

{"mcpServers":{"mifactory-logic-verifier":{"command":"npx","args":["-y","@mifactory-bot/logic-verifier@1.0.3"],"env":{"ANTHROPIC_API_KEY":"YOUR_VALUE","STRIPE_SECRET_KEY":"YOUR_VALUE"}}}}

Codex (config.toml)

[mcp_servers.mifactory-logic-verifier]
command = "npx"
args = ["-y","@mifactory-bot/logic-verifier@1.0.3"]
env = { ANTHROPIC_API_KEY = "YOUR_VALUE", STRIPE_SECRET_KEY = "YOUR_VALUE" }

Gemini CLI

{"mcpServers":{"mifactory-logic-verifier":{"command":"npx","args":["-y","@mifactory-bot/logic-verifier@1.0.3"],"env":{"ANTHROPIC_API_KEY":"YOUR_VALUE","STRIPE_SECRET_KEY":"YOUR_VALUE"}}}}

Cursor

{"mcpServers":{"mifactory-logic-verifier":{"command":"npx","args":["-y","@mifactory-bot/logic-verifier@1.0.3"],"env":{"ANTHROPIC_API_KEY":"YOUR_VALUE","STRIPE_SECRET_KEY":"YOUR_VALUE"}}}}

VS Code

{"servers":{"mifactory-logic-verifier":{"type":"stdio","command":"npx","args":["-y","@mifactory-bot/logic-verifier@1.0.3"],"env":{"ANTHROPIC_API_KEY":"YOUR_VALUE","STRIPE_SECRET_KEY":"YOUR_VALUE"}}}}

Runs on your computer with your permissions: check the package and its source before installing. Replace YOUR_VALUE with your own ANTHROPIC_API_KEY, STRIPE_SECRET_KEY.

Browse

Related MCP servers

Icme Preflight
Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.
Taste
Expert review for AI agents. On-chain proof of human review.
Mifactory Payments
Stripe payments for AI agents. Create links, verify, manage customers.
handoff — agent swarm coordination
Agent swarm coordination: find funded work, form teams, run tasks, message E2E, get paid on verify.
Narrowhighway Concordance
Deterministic claim verification with receipts across ~60 domains. No model in the loop.
R/IV — Verify Claims, Citations & Agent Actions
Verify claims, citations & agent actions. Free receipt trial; paid prices via live R/IV quotes.
Lotus Wisdom
Contemplative reasoning with Lotus Sutra wisdom framework and ext-apps visualization.
Principal-drift ledger for standing instructions
Signed, versioned ledger of standing instructions with intake contradiction diffs.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.github.mifactory-bot/mifactory-logic-verifier.svg)](https://aptlynx.net/servers/io.github.mifactory-bot/mifactory-logic-verifier)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents