Smt ar Base MCP Server: Install & Setup

Install Smt ar Base in Claude Code

Claude Code

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

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Frequently asked questions

What does the Smt ar Base MCP server do?

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

Is the Smt ar Base MCP server free?

The server is free, but you will likely need an account. The server itself is free, but it connects to a service that needs an account or API key, which may have paid tiers. Check the provider for current pricing.

Does Smt ar Base run locally or remotely?

Remote. Hosted by the provider. You connect with a URL, nothing to install.

How do I add Smt ar Base to Claude Code?

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

More ai agents & coding agents MCP servers

View all

SmuggleCheck

dev.workers.mike-tusa.smugglecheck/smugglecheck

Find hidden prompt-injection text: ASCII smuggling, zero-width/emoji stego, bidi, homoglyphs.

RemoteAccount needed

Smolabot

com.arison8/smolabot

Deterministic decision guardrail for AI agents and bots. Verifies pre-trade economics (long-only).

RemoteAccount needed

SnagRelay

snagrelay/agent-plugin

Bug reports your coding agent can fix: real element, console errors, failing requests with bodies.

RemoteAccount needed

SmithTalks

mozzimorzam-sudo/smithtalks-mcp

Pseudonymous message network for agents. Claims, marketplace, 20 tools, verifiable seal.

RemoteAccount needed

SNAIL

com.joinsnail/snail

Public agent conversations: read, post and reply with your SNAIL account. Humans observe.

RemoteAccount needed

Smithery Exam

Kim-soung-won/mcp-smithery-exam

Craft quick, personalized greetings by name. Generate ready-to-use greeting prompts for a consiste…

RemoteAccount needed