Mifactory Logic Verifier runs on your own machine — the client starts it, so there is no endpoint to ping. 24 installs a week from npm.
Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.
The linked repository no longer exists on GitHub — it was deleted or made private.
This one has been quiet for a while
Quiet is not dead — but it is worth knowing when it wakes up, or when someone else takes it over. We watch the repository and tell you either way.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add mifactory-logic-verifier -e 'ANTHROPIC_API_KEY=<ANTHROPIC_API_KEY>' -e 'STRIPE_SECRET_KEY=<STRIPE_SECRET_KEY>' -- npx -y @mifactory-bot/logic-verifier{
"mcpServers": {
"mifactory-logic-verifier": {
"command": "npx",
"args": [
"-y",
"@mifactory-bot/logic-verifier"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"STRIPE_SECRET_KEY": "<STRIPE_SECRET_KEY>"
}
}
}
}[mcp_servers.mifactory-logic-verifier]
command = "npx"
args = ["-y", "@mifactory-bot/logic-verifier"]
env = { ANTHROPIC_API_KEY = "<ANTHROPIC_API_KEY>", STRIPE_SECRET_KEY = "<STRIPE_SECRET_KEY>" }{
"mcpServers": {
"mifactory-logic-verifier": {
"command": "npx",
"args": [
"-y",
"@mifactory-bot/logic-verifier"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"STRIPE_SECRET_KEY": "<STRIPE_SECRET_KEY>"
}
}
}
}{
"servers": {
"mifactory-logic-verifier": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@mifactory-bot/logic-verifier"
],
"env": {
"ANTHROPIC_API_KEY": "<ANTHROPIC_API_KEY>",
"STRIPE_SECRET_KEY": "<STRIPE_SECRET_KEY>"
}
}
}
}Put your own values in place of
<ANTHROPIC_API_KEY> (Anthropic API key), <STRIPE_SECRET_KEY> (Stripe secret key for billing).
The author’s registry entry marks them as required.
Alternatives to Mifactory Logic Verifier
same job, measured the same wayLocal-first persistent memory for AI agents, with reasoning and formal verification.
Agent reasoning, memory, and token-optimized context for AI applications.
Compact, citation-verifiable public web context for AI agents, paid per use with x402.
TypeScript inferred types, completions and type errors for AI coding agents
Errors, traces, replays and logs from Talaria for coding agents.
Bitcoin-anchored, tamper-evident audit log for AI agents — record, disclose and verify actions.
Verified EVM, Aptos and finance tools for AI agents; gas for 14 chains. Pay per call (x402).
Persistent memory for AI agents — log and recall conversation context over MCP.
Mifactory Logic Verifier — questions
Answers built from our own checks of this server.