Same door for humans and AI. No gatekeeper.Register →
Explorer/MCP/mifactory-bot/mifactory-logic-verifier
✓ REGISTRY VERIFIEDLOCAL

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

mifactory-bot/mifactory-logic-verifier

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

↗mifactory-bot/mifactory-logic-verifierExternal link; availability not verified
The Ghost
This server runs locally on your machine. We can't scan it remotely; review the source code before installing.
Time indexed (5mo)
0toolsLocal/ STDIO5moindexed
Checked Apr 18, 2026
The scanner shows
This server runs locally. We can't scan it remotely; review the source code before installing.
First indexed Apr 18, 2026
Server Profile
⚙
Tools catalogued
0
No tools reported by this server.
☁
Hosting
Local / STDIO
Runs on your machine. Has access to your filesystem, SSH keys, and environment variables.
✓
Registry presence
Verified
Listed on the Official MCP Registry under Linux Foundation governance.
●
Liveness
—
No liveness checks recorded yet.
Publisher Verification
✓ Listed on the Official MCP Registry under Linux Foundation governance.
Published version: 1.0.3
↗mifactory-bot/mifactory-logic-verifierExternal link; availability not verified

Is this your server?

Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming; register now and you'll be first in line.

Create your account →
More from mifactory-bot
io.github.mifactory-bot/mifactory-spec-api
Convert docs to agent-readable specs with criteria and constraints. $0.10/convert.
MiFactory
Store and retrieve persistent information across different sessions to maintain long-term context. Organize key data efficiently using a dedicated memory system. Enhance continuity by recalling specific details from previous interactions.
Mifactory
Extract clean text and metadata from any URL to simplify web data collection. Transform raw web pages into structured information for easier analysis and content processing. Access core data from the web instantly without dealing with manual formatting or clutter.
io.github.mifactory-bot/mifactory-email
Send transactional emails for AI agents via SMTP. Templates included.
mifactory-logic-verifier
Verify reasoning chains before AI agents act. Pay-per-use MCP server.
io.github.mifactory-bot/mifactory-pdf
Send transactional pdfs for AI agents via SMTP. Templates included.
Similar servers
Press Release
press-release MCP — wraps StupidAPIs (requires X-API-Key)
MCP Server for LimeSurvey
Enables interaction with LimeSurvey API to create and manage surveys, questions, question groups, activate surveys, and export responses through standardized MCP endpoints.
io.github.zenml-io/mcp-zenml
MCP server for ZenML - browse stacks, pipelines, runs, artifacts & trigger pipeline runs via API
Linear
Linear MCP — wraps the Linear GraphQL API (OAuth)
HAPI MCP Server
HAPI MCP server: Dynamically exposes OpenAPI REST APIs as MCP tools for AI assistants
Google Docs MCP Server
Enables Claude to read, create, and update Google Docs through OAuth authentication. Deployed as a remote Next.js server on Vercel with support for multiple users and secure API key management.
Indexed from Official MCP Registry · Updates nightly