Steelmind runs on your own machine — the client starts it, so there is no endpoint to ping. 30 installs a week from npm. Last commit 28 Mar 2026.
Structured thinking + steel-manning verification for AI agents. Backed by 43+ papers.
Today is the operative word: we check Steelmind every 15 minutes and re-read its code on every release. Watch it and you find out the day that stops being true.
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add steelmind -- npx -y @stabgan/steelmind-mcp
{
"mcpServers": {
"steelmind": {
"args": [
"-y",
"@stabgan/steelmind-mcp"
],
"command": "npx"
}
}
}
[mcp_servers.steelmind]
command = "npx"
args = ["-y", "@stabgan/steelmind-mcp"]
{
"mcpServers": {
"steelmind": {
"args": [
"-y",
"@stabgan/steelmind-mcp"
],
"command": "npx"
}
}
}
{
"mcpServers": {
"steelmind": {
"args": [
"-y",
"@stabgan/steelmind-mcp"
],
"command": "npx"
}
}
}
Structured, verifiable Unreal Engine editing for AI agents.
Security scanning and trust verification for AI agent tools.
Merchant verification for AI shopping agents.
Structured execution trace and span logging for AI agents
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
KYA identity verification, trust scoring, and performance bonds for AI agents
Structured financial modeling for AI agents: build, version, audit models, export to Excel.
Phone numbers for AI agents: order a private number, read the SMS verification code, hand it back.
Answers built from our own checks of this server.