Bend Model Context Protocol (MCP) Server
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
Official MCP Monorepo Collection
Bend Modular Servers
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Available Sub-Servers (5)
Fun
node
Model Context Protocol (fun) server
npx -y @modelcontextprotocol/server-fun
Hvm
node
Model Context Protocol (hvm) server
npx -y @modelcontextprotocol/server-hvm
Imp
node
Model Context Protocol (imp) server
npx -y @modelcontextprotocol/server-imp
Imports
node
Model Context Protocol (imports) server
npx -y @modelcontextprotocol/server-imports
Net
node
Model Context Protocol (net) server
npx -y @modelcontextprotocol/server-net