Bend Model Context Protocol (MCP) Server

GitHub

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL | sh

23,888 stars

TypeScript 1 file · ~2,119 tokens #bend #cuda #dependent-types #gpu #metal #parallel #programming-language #proof

Imp (Bend) MCP Server

Model Context Protocol (imp) server

View all Bend servers

Ready-to-Use Client Configurations

{
  "mcpServers": {
    "imp": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-imp"
      ]
    }
  }
}

{
  "mcpServers": {
    "imp": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-imp"
      ]
    }
  }
}

{
  "mcpServers": {
    "imp": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-imp"
      ]
    }
  }
}

{
  "mcpServers": {
    "imp": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-imp"
      ],
      "disabled": false,
      "autoApprove": []
    }
  }
}

{
  "mcpServers": {
    "imp": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-imp"
      ]
    }
  }
}

docker run -i --rm mcp/imp