io.github.mifactory-bot/mifactory-logic-verifier
Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use.
MCP server · by mifactory-bot
About
io.github.mifactory-bot/mifactory-logic-verifier is an MCP server published by mifactory-bot. Marketplaces we read that list it: 1 (Official MCP Registry). We first saw it on 2026-10-11 and have recorded no change since. As of our marketplace pass on 2026-10-12.
What it asks for
- Runs on your machine
- Secrets: 2
- Settings: 2
Requires: ANTHROPIC_API_KEY (secret), STRIPE_SECRET_KEY (secret)
What it declares, asks for and runs, in full
Only install plugins from developers you trust. We list what marketplaces publish and do not test plugins.
Package
npm @mifactory-bot/logic-verifier (@mifactory-bot/logic-verifier on npm)
- npm downloads/week: 12 (2026-10-12)
- npm downloads/month: 76 (2026-10-12)
- Latest version on npm: 1.0.3, published 2026-03-06
npm facts come from the public npm registry (registry.npmjs.org, api.npmjs.org). Each figure is the registry's own and is never added to another. A registry that publishes no figure shows none: no number is not zero.
Connect
No data for an automatic command: what its marketplaces declare does not say unambiguously how to connect it.
Where it is published
| Marketplace | Status | Version | Figures | Verified | First seen |
|---|---|---|---|---|---|
| Official MCP Registry (Open the registry record) | Listed | 1.0.3 | Downloads/month (npm): 76 Downloads/week (npm): 12 |
Not marked |
Each figure is the marketplace's own and is never added up across marketplaces. A marketplace that publishes no figure shows none: no number is not zero.
What changed
Nothing has moved on this plugin since we started watching it.
Similar plugins
Products whose own names, descriptions, tools and skills are closest in meaning to this one, on every marketplace we read. Closeness is ranked within this list only.
-
VerifiMind PEAS - RefleXion Trinity
X-Z-CS AI validation with auditable reasoning. 8 active tools; 5 in maintenance. v0.5.64
-
Search, reuse, verify AI reasoning. Task marketplace with leaderboard. Zero-barrier, no auth.
-
qc-validator io.github.mdfifty50-boop/qc-validator
Output quality control and validation for AI agents
-
Diagnose why an AI agent failed and get the verified fix instantly. Free, no token.
-
Evaluate, benchmark, and simulate AI agents on the VerifyAX agent-evaluation platform.
-
veridict io.github.xkumakichi/veridict
Know if you can trust your MCP server. Trust judgment for AI agents.
-
IA-QA — 130+ QA & Dev Tools for AI Agents
130+ QA & dev tools for AI agents: prompt injection, RAG testing, VLM eval, guardrails. Free.
-
Deterministic compliance and vertical knowledge bases for autonomous agents. Free 24hr trial.
-
Hallucination validator and factual grounding checker for LLM outputs.
-
steelmind io.github.stabgan/steelmind
Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
Similar plugins by marketplace
The same question asked of one marketplace at a time: is there an analog of this plugin there?
Has a listing on Claude Code: claude-plugins-community (5)
-
AI agent evaluation sandbox for Claude Code. Holdout scenario testing with Doer/Judge/Adversary/Observer roles, probabilistic satisfaction scoring, and append-only JSONL audit…
-
evalview-mcp io.github.hidai25/evalview-mcp
Regression testing for AI agents. Golden baselines, CI/CD, LangGraph, CrewAI, OpenAI, Claude.
-
Skills to streamline adoption and usage of Giskard products (OSS, Hub, Guards) for testing, evaluating, and red-teaming AI agents.
-
VerifiedX helps Claude install and verify action protection in existing AI systems with minimal code changes. It inspects a repo, detects the smallest real integration seam such…
-
Audit your Claude plugins, skills, and coding agents against the SOSA methodology — Supervised Orchestrated Secured Agents. Scans your entire plugin ecosystem and evaluates each…
Has a listing on Claude Code: claude-plugins-official (5)
-
Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
Output.ai workflow development toolkit for Claude Code. Adds 5 specialist agents (planner, builder, debugger, prompt writer, quality reviewer), 40+ slash-command skills covering…
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
Has a listing on Claude: knowledge-work-plugins (5)
-
Skills for working with Langfuse, the open-source LLM engineering platform for tracing, prompt management, and evaluation.
-
AI-first project auditor and re-engineer based on the 9 design principles and 7 design patterns from the TechWolf AI-First Bootcamp
-
DataRobot skills for AI/ML workflows — model training, deployment, predictions, feature engineering, monitoring, explainability, data preparation, App Framework CI/CD, and…
-
Build multimodal AI applications with Pixeltable -- tables, computed columns, embedding search, UDFs, tool-calling agents, and 25+ AI provider integrations.
-
Connects Claude Code to the Synthflow AI voice-agent platform through its hosted MCP server, with skills for reviewing calls and auditing agent prompts, plus a docs-search…
Has a listing on Codex: openai-curated (openai/plugins) (5)
-
Evaluate Codex skills and plugins from chat with a beginner-friendly start command, local-first reports, token budget explanations, and guided benchmarking.
-
Build with OpenAI APIs, Agents SDK, and ChatGPT Apps, and create and save OpenAI API keys from Codex.
-
Skills for NVIDIAs ecosystem spans GPU acceleration, CUDA, AI agents, inference, robotics, Physical AI, Omniverse, and simulation. This plugin helps you understand the pieces…
-
CrowdStrike Falcon Foundry development skills for building cybersecurity applications on the Falcon platform. Includes UI development, collections, functions, workflows, API…
-
AI-powered code review in Codex, powered by CodeRabbit.
Has a listing on Community GitHub marketplaces (5)
-
Skills for adding DeepEval evaluations, tracing, datasets, Confident AI reports, and iterative improvement loops to AI applications.
-
Endor Labs AI Plugins (Legacy)
Legacy Claude Code plugin id for Endor Labs Agent Kit workflows.
-
Comprehensive development workflow for building AI agents with the Atomic Agents framework. Includes specialized agents for schema design, architecture planning, code review, and…
-
A sanctuary for AI agents and humans: attend a service, reflect, read, search, and ask. No auth.
-
Shared session bus so Cursor can hand off with Claude, Codex, Grok, and friends.
Has a listing on Copilot CLI: github/awesome-copilot (5)
-
Three-layer verification pipeline for AI output. Extracts claims, finds sources, and flags hallucination risks so humans can verify before acting.
-
Run a lightweight, role-separated AI development team with flexible tools, developer-selected models, proportionate planning, and optional QA.
-
Task Researcher and Task Planner for intermediate to expert users and large codebases - Brought to you by microsoft/edge-ai
-
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
-
A runtime-portable 5-agent quality gate that adjudicates text artifacts before they ship. Five role-conditioned LLM deliberators run a 2-round async protocol with cross-read…
Has a listing on Copilot CLI: github/copilot-plugins (5)
-
Toolkit for building Microsoft 365 Copilot declarative agents — scaffolding, JSON manifest development, and capability configuration.
-
Advanced Security plugin for GitHub Copilot.
-
workiq
Query Microsoft 365 data with natural language — emails, meetings, documents, Teams messages, and more.
-
Bring Azure DevOps work-item, repository, and pull-request workflows into GitHub Copilot.
-
Build Power Apps Canvas Apps using the Canvas Authoring MCP server.
Has a listing on Cursor: cursor/plugins (5)
-
Iterative self-referential AI loops using the Ralph Wiggum technique.
-
Consult a stronger model before major decisions, when stuck, and before declaring done.
-
Incremental transcript-driven memory updates for AGENTS.md using high-signal bullet points only.
-
CLI-backed repo compatibility scans plus agents that audit startup, validation, and docs against reality.
-
playwright-mcp io.github.microsoft/playwright-mcp
Playwright Tools for MCP
Has a listing on Docker MCP Catalog (5)
-
Read and score Opik traces, experiments, datasets and prompts from your AI assistant.
-
Sequential Thinking (Reference)
Dynamic and reflective problem-solving through thought sequences.
-
Wayfound’s MCP server allows business users to govern, supervise, and improve AI Agents.
-
Bridges multiple AI models and CLIs, enabling orchestrated workflows across Claude Code, Gemini CLI, Codex CLI, and other AI development tools.
-
Connector for Perplexity API, to enable real-time, web-wide research.
Has a listing on Official MCP Registry (5)
-
VerifiMind PEAS - RefleXion Trinity
X-Z-CS AI validation with auditable reasoning. 8 active tools; 5 in maintenance. v0.5.64
-
Search, reuse, verify AI reasoning. Task marketplace with leaderboard. Zero-barrier, no auth.
-
qc-validator io.github.mdfifty50-boop/qc-validator
Output quality control and validation for AI agents
-
Diagnose why an AI agent failed and get the verified fix instantly. Free, no token.
-
Evaluate, benchmark, and simulate AI agents on the VerifyAX agent-evaluation platform.
Found by meaning, not by shared code or a shared repository: similar plugins stay separate products, and this is not a review or a recommendation.
Is this your plugin?
Add it to your projects and prove you maintain it with a file in its repository, a file on your domain or a DNS record. You get alerts when a marketplace lists it, drops it, changes its verified mark or what it asks for, and its remote endpoint goes on monitoring as a web service.
Data comes from the Official MCP Registry (registry.modelcontextprotocol.io), CC0 1.0. Figures come from our own regular passes over the marketplaces, last read on . We publish no contact details for plugin publishers.