servers/ development/ sounio-compiler
Sounio Compiler icon

Sounio Compiler

Unverified Claim & verify → Development

Check, compile, run, and test Sounio programs locally.

View on GitHub ↗
Overview Installation

Overview

Sounio Compiler is a Model Context Protocol server that lets you check, compile, run, and test Sounio programs directly from your AI assistant. Any MCP-compatible tool can invoke its capabilities during conversation or agentic workflows, making it seamless to develop and validate Sounio code.

The server runs locally via the Python package sounio-mcp-server, installed through uvx. No authentication is needed—it communicates with your MCP client over stdio and works immediately. Version v0.1.0 is available under the Apache-2.0 license, with source code at sounio-lang/sounio on GitHub.

Sounio Compiler belongs in the Development category and integrates with MCP clients including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, Zed, and others. Maintainers from sounio-lang are welcome to claim this listing to earn the Verified badge and ensure information stays accurate.

▸PyPI package — sounio-mcp-server · MCP over stdio
▸Open source — Apache-2.0 license · sounio-lang/sounio
▸Topics — algebraic-effects, compiler, egraph, epistemic-computing, formal-verification

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "sounio_compiler": {
      "command": "uvx",
      "args": [
        "sounio-mcp-server"
      ]
    }
  }
}

Related servers

HN
hood. — .hood name service
Development Remote

Resolve .hood names on Robinhood Chain — forward/reverse, text records, availability & pricing.

Added 1 month ago →
ID
Ideation
Development Remote

Actwise Ideation helps founders benchmark startup and product ideas before they build.

Added 1 month ago →
OR
One-Page Readiness Check — 10 Signals, Arabic or English
Development Remote

Ten machine-readable signals on one public page: the top miss if any, and a receipt we re-verify.

Added 1 month ago →
AD
AFMR Discovery
Development Remote

Read AFMR failure modes and discover scoped attestation and lift-evidence contracts.

Added 1 month ago →
GC
Graffeo Coffee Roasting
Development Remote

Live MCP catalog for Graffeo Coffee Roasting - Simply the World's Finest Coffee since 1935.

Added 1 month ago →
CD
CounterScript - Drug Price Benchmarks
Development Remote

Free US drug-price benchmarks from federal data (CMS NADAC): a benchmark, not a price anyone owes.

Added 1 month ago →
>_ esc
↑↓ navigate↵ openesc close