How do I install icme-preflight?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is icme-preflight official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 37 (Limited). The formula is published on the methodology page.

icme-preflight MCP Server | MCPpedia

Name: icme-preflight MCP Server
Author: icme-lab

Jailbreak-proof AI guardrails. Automated Reasoning SMT solver, not an LLM. ZK proofs included.

RegistryRemoteicme-lab

37Limited

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "icme-lab-smt-ar-base": {
      "url": "https://api.icme.io/mcp"
    }
  }
}

This server does not declare environment variables.

Tools show up when the registry metadata or the repository README lists them. GitHub enrichment fills this in when a token is configured.

78Good

Local-first memory for AI agents: recall with sources, answer checks, documents, mesh, governance.

Registryqualixar249 stars1.3K/wk

77Good

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.