LocalFree

Steelmind MCP server

stabgan/steelmind-mcp

Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.

1 GitHub stars
Source code

Install Steelmind in Claude Code

Claude Code
claude mcp add steelmind -- npx -y @stabgan/steelmind-mcp
mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)
{
  "mcpServers": {
    "steelmind": {
      "command": "npx",
      "args": [
        "-y",
        "@stabgan/steelmind-mcp"
      ]
    }
  }
}

Frequently asked questions

What does the Steelmind MCP server do?

Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.

Is the Steelmind MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Steelmind run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Steelmind to Claude Code?

Run: claude mcp add steelmind -- npx -y @stabgan/steelmind-mcp

More ai agents & coding agents MCP servers

View all

Stratum

1

smartmemory/stratum

Structured execution for coding agents: contracts, postconditions, gates, guardrails.

LocalFree

Spira

1

Inflectra/mcp-server-spira

A Model Context Protocol (MCP) server enabling AI assistants to interact with Spira by Inflectra.

LocalAccount needed

Strava Training

1

ArjanLig/strava-mcp

Connect Strava training data to Claude for training load analysis and activity insights

LocalFree

speedread

1

brennengreen/speedread

Token-efficient code reading for coding agents: symbol-aware, budgeted, diff-aware reads.

LocalFree

Swarm at Ledger

1

Mediaeater/swarm-at-ledger

Settlement protocol for AI agent swarms — hash-chained ledger, trust, 48 blueprints, 18 tools

Local + RemoteFree

Soma

1

dinglebear-ai/soma

RMCP runtime for provider-backed agents with CLI, REST, HTTP MCP, plugins, and scaffold support.

LocalFree