Connect

8 clients · secrets stay placeholders

JSON (mcpServers)Claude CodeCodexOpenCodeCursorVS CodeGemini CLIGoose

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

claude mcp add mifactory-logic-verifier -e "ANTHROPIC_API_KEY=${ANTHROPIC_API_KEY}" -e "STRIPE_SECRET_KEY=${STRIPE_SECRET_KEY}" -- npx -y @mifactory-bot/[email protected]

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

{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "mifactory-logic-verifier": {
      "type": "local",
      "command": [
        "npx",
        "-y",
        "@mifactory-bot/[email protected]"
      ],
      "enabled": true,
      "environment": {
        "ANTHROPIC_API_KEY": "{env:ANTHROPIC_API_KEY}",
        "STRIPE_SECRET_KEY": "{env:STRIPE_SECRET_KEY}"
      }
    }
  }
}

{
  "mcpServers": {
    "mifactory-logic-verifier": {
      "command": "npx",
      "args": [
        "-y",
        "@mifactory-bot/[email protected]"
      ],
      "env": {
        "ANTHROPIC_API_KEY": "${ANTHROPIC_API_KEY}",
        "STRIPE_SECRET_KEY": "${STRIPE_SECRET_KEY}"
      }
    }
  },
  "deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=mifactory-logic-verifier&config=eyJjb21tYW5kIjoibnB4IiwiYXJncyI6WyIteSIsIkBtaWZhY3RvcnktYm90L2xvZ2ljLXZlcmlmaWVyQDEuMC4zIl0sImVudiI6eyJBTlRIUk9QSUNfQVBJX0tFWSI6IiR7QU5USFJPUElDX0FQSV9LRVl9IiwiU1RSSVBFX1NFQ1JFVF9LRVkiOiIke1NUUklQRV9TRUNSRVRfS0VZfSJ9fQ%3D%3D"
}

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

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

extensions:
  "mifactory-logic-verifier":
    enabled: true
    name: "mifactory-logic-verifier"
    type: stdio
    cmd: "npx"
    args:
      - "-y"
      - "@mifactory-bot/[email protected]"
    envs:
      "ANTHROPIC_API_KEY": "${ANTHROPIC_API_KEY}"
      "STRIPE_SECRET_KEY": "${STRIPE_SECRET_KEY}"
    timeout: 300

Placeholders to fill from your own secret store: ${ANTHROPIC_API_KEY}, ${STRIPE_SECRET_KEY}. The registry never accepts secret values.

This is a local package: the command runs on your machine.

Quality – / 100not scored

Not scored: fewer than three checks apply, usually because no remote answered a credential-free probe or the server is a local package.

protocoln/a · weight 25

n/a
protocol.modern, protocol.stateless, protocol.transport, protocol.list_ttlno remote answered a protocol handshake (not probed yet, unreachable, or local-only)

authorizationn/a · weight 15

n/a
auth.prm, auth.as_metadata, auth.cimdno remote uses OAuth
n/a
auth.secret_in_urlno templated URL

tool hygienen/a · weight 30

n/a
tools.descriptions, tools.description_length, tools.schemas, tools.annotations, tools.directory_hints, tools.token_cost, tools.api_dumptool list unknown (behind auth, not probed, or empty)

stabilityn/a · weight 15

n/a
stability.changes, stability.rug_pulltool list unknown

dependencies100 · weight 15

pass
deps.known_vulnsno known advisory in 95 resolved packages
n/a
deps.mcp_sdk_versionthe official MCP SDK is not in the dependency graph
pass
deps.resolvable@mifactory-bot/[email protected] resolved: 95 packages

Tool list unknown · checked 2026-10-20 11:08 UTC

Tool changes

No tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.

Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.

Trust 76 / 100

provenance80

livenessn/a

freshness45

hygiene100

+repository +namespace-matches-repo ~liveness-unmeasured -stale-228d

Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.

Dependencies

@mifactory-bot/[email protected] npm94 dependencies, resolved · advisories checked 2026-10-19

No known advisory affects this dependency graph.

Dependency graphs from deps.dev; advisories from OSV.dev, including the GitHub Advisory Database and the PyPI Advisory Database; all CC BY 4.0. The graph is what a clean install of this version resolves today; nothing was installed or run. How it is checked.

Endpoints

package	registry	version	runtime	secrets
`@mifactory-bot/logic-verifier`	npm	1.0.3	–	`ANTHROPIC_API_KEY`, `STRIPE_SECRET_KEY`

Tools (0)

No tools observed. Local packages are never executed by the registry.

Schemas: list_tools.

Similar MCP servers

More from io.github.mifactory-bot

And 1 more from this publisher.

Official server.json

{
  "name": "io.github.mifactory-bot/mifactory-logic-verifier",
  "$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
  "version": "1.0.3",
  "packages": [
    {
      "version": "1.0.3",
      "transport": {
        "url": "https://logic-verifier-mcp.vercel.app",
        "type": "streamable-http"
      },
      "identifier": "@mifactory-bot/logic-verifier",
      "registryType": "npm",
      "environmentVariables": [
        {
          "name": "ANTHROPIC_API_KEY",
          "format": "string",
          "isSecret": true,
          "isRequired": true,
          "description": "Anthropic API key"
        },
        {
          "name": "STRIPE_SECRET_KEY",
          "format": "string",
          "isSecret": true,
          "isRequired": true,
          "description": "Stripe secret key for billing"
        }
      ]
    }
  ],
  "repository": {
    "url": "https://github.com/mifactory-bot/mifactory-logic-verifier",
    "source": "github"
  },
  "description": "Verify AI agent reasoning and logic for errors and contradictions. Pay-per-use."
}