Mifactory Logic Verifier runs on your own machine — the client starts it, so there is no endpoint to ping. 21 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 -- npx -y @mifactory-bot/logic-verifier{
"mcpServers": {
"mifactory-logic-verifier": {
"args": [
"-y",
"@mifactory-bot/logic-verifier"
],
"command": "npx"
}
}
}[mcp_servers.mifactory-logic-verifier]
command = "npx"
args = ["-y", "@mifactory-bot/logic-verifier"]{
"mcpServers": {
"mifactory-logic-verifier": {
"args": [
"-y",
"@mifactory-bot/logic-verifier"
],
"command": "npx"
}
}
}{
"mcpServers": {
"mifactory-logic-verifier": {
"args": [
"-y",
"@mifactory-bot/logic-verifier"
],
"command": "npx"
}
}
}This one needs environment variables set before it will start:
ANTHROPIC_API_KEY (Anthropic API key), STRIPE_SECRET_KEY (Stripe secret key for billing).
The author declared them in the registry entry; get the values from the project itself.
Alternatives to Mifactory Logic Verifier
same job, measured the same wayAgent reasoning, memory, and token-optimized context for AI applications.
Compact, citation-verifiable public web context for AI agents, paid per use with x402.
Bitcoin-anchored, tamper-evident audit log for AI agents — record, disclose and verify actions.
Persistent memory for AI agents — log and recall conversation context over MCP.
Static linter for AI prompts: contradictions, redundancy, ambiguity, and fluff.
Verified ROKI Connect payments contract for coding agents: operations, schemas, validator.
Verified, pay-per-use API tools for AI agents through one authenticated connection.
Memory for AI agents that tracks beliefs over time and surfaces contradictions
Mifactory Logic Verifier — questions
Answers built from our own checks of this server.