Odel
specmate

specmate

Local
@alele4963JavaScriptMITUpdated 3w ago

BSV coding knowledge engine for AI agents — pre-compile traps and post-compile diagnosis.

View on GitHub

Runs locally over stdio

This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).

npmbsv-specmatev0.2.1

Run

npx -y bsv-specmate

MCP client config

{
  "mcpServers": {
    "specmate": {
      "command": "npx",
      "args": [
        "-y",
        "bsv-specmate"
      ]
    }
  }
}