Skip to content
mcp/skillhub

Smt AR Base MCP Server

by icme-labio.github.wyattbenno777/icme-preflightv1.0.1

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

remoteofficial registry

context tax

queued

security

queued

cold start

queued

freshness

Stale7mo ago

Install Smt AR Base MCP server

Install in Claude Code

claude mcp add --transport http smt-ar-base https://api.icme.io/mcp

Remote endpoints

  • streamable-httphttps://api.icme.io/mcp

Freshness

Stale — last maintenance signal 7mo ago. The newest of the signals below sets the band.

  1. Last commit (default branch)

    no data · GitHub

  2. Latest release

    no data · GitHub

  3. Package published

    no data · npm/PyPI

  4. Registry entry updated

    2026-03-23 · 7mo ago · official registry · v1.0.1

FAQ

›How do I install the Smt AR Base MCP server in Claude Code?

Run: claude mcp add --transport http smt-ar-base https://api.icme.io/mcp. For Cursor, VS Code, Claude Desktop and Windsurf, use the install tabs above.

›Does Smt AR Base require an API key?

No required environment variables are declared in its published metadata.

›Can I use Smt AR Base as a remote (hosted) MCP server?

Yes. It is a hosted MCP server; connect to its URL with any client that supports remote MCP.

›Is Smt AR Base in the official MCP registry?

Yes, as io.github.wyattbenno777/icme-preflight.

Alternatives to Smt AR Base

Other ai & llm tools MCP servers.

View all