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

Hvm (Bend) MCP Server

Model Context Protocol (hvm) server

View all Bend servers

Ready-to-Use Client Configurations

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

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

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

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

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

docker run -i --rm mcp/hvm