Sounio Compiler MCP Server

A self-hosted systems + scientific programming language for epistemic computing, uncertainty propagation, and algebraic effects. It runs locally over stdio via the published package.

People connecting developer tools tools to Claude, Cursor, VS Code, or another MCP client. The project is written in Lean.

VERIFIED ACTIVE

LAST COMMIT 2026-08-25 · ★ 5 · #89 OF 139 MAINTAINED DEVELOPER TOOLS · VERIFIED 2026-08-25

Apache-2.0 · Lean · how we verify → /methodology

01 · Install Sounio Compiler

before you install - you'll need

Set CPC2026_SCIENTIFIC_REPO, SOUNIO_STDLIB_PATH, SOUNIO_SOUC_ENGINE before connecting.

Claude Code

claude mcp add sounio-lang-sounio -- uvx sounio-mcp-server

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "sounio-lang-sounio": {
      "command": "uvx",
      "args": [
        "sounio-mcp-server"
      ]
    }
  }
}

Same JSON for Cursor. For VS Code, rename the top-level key from `mcpServers` to `servers`.

Using another client? Same JSON, different key

Claude Desktop · mcpServers

Cursor · mcpServers

VS Code · servers

Windsurf · mcpServers

Zed · context_servers

Cline · mcpServers

Roo Code · mcpServers

Continue · mcpServers

LibreChat · mcpServers

Gemini CLI · mcpServers

Codex CLI · mcp_servers

Full setup guides: every client.

02 · Evidence

Security posture

What to check before giving this server access to your agent - from the registry, GitHub, and our own probes. We don't score safety; we show what's verifiable.

runs as local process (stdio) - runs on your machine with your user's permissions

license Apache-2.0 - declared in the repository

pypi package sounio-mcp-server - check the name against the project README before installing (PyPI has no namespace ownership)

registry registry publisher io.github.agourakis82 is not the repo owner (sounio-lang) - the registry entry was published by someone else

03 · What Sounio Compiler can do

Prose above is summarized from the project's README and registry record - no invented capabilities.

Latest releases

sounio-lsp-v0.3.0-r1 · 2026-05-18

Audit-driven LSP parity release. Closes four items flagged by the 2026-05-17 adversarial audit; Sprint-2 items deferred per tools/lsp/SPRINT2_TODO.md. · Headlines · codeAction kinds 1 → 3 - now advertises quickfix +…

v1.1.0 · 2026-03-27

Sounio v1.1.0 - Scientific Computing Release · 11 language gaps identified and closed. Sounio is now a viable scientific programming language for real data analysis. · New Compiler Builtins · print_f64, read_f64…

v1.0.0 · 2026-03-22

Sounio v1.0.0 · The first fully self-hosted Sounio compiler. Pure Sounio - no JIT, no C runtime. Compiles itself to a bit-identical native x86-64 Linux ELF. · Bootstrap Chain · boot4.elf → lean_single.sio →…

04 · Who maintains Sounio Compiler

Sounio Compiler is maintained by sounio-lang. It's the only MCP server we track from this author; the repo dates to Dec 2025.

05 · Facts

repository: github.com/sounio-lang/sounio
category: developer tools - ranked #89 of 139 actively-maintained developer tools servers as of 2026-08-25.
registry: io.github.agourakis82/sounio-mcp-server (active, first published 2026-05-17)
packages: pypi:sounio-mcp-server

06 · Sounio Compiler FAQ

What is Sounio Compiler?

A self-hosted systems + scientific programming language for epistemic computing, uncertainty propagation, and algebraic effects. It runs locally over stdio via the published package.

Is Sounio Compiler still maintained?

Yes - as of 2026-08-25, its last commit was 2026-08-25. We re-verify nightly.

How do I install Sounio Compiler?

Run `uvx sounio-mcp-server`. The README documents 3 environment variables (CPC2026_SCIENTIFIC_REPO, SOUNIO_STDLIB_PATH, SOUNIO_SOUC_ENGINE) to set first. Set CPC2026_SCIENTIFIC_REPO, SOUNIO_STDLIB_PATH, SOUNIO_SOUC_ENGINE before connecting. You can also paste the ready-made client config above.

Does Sounio Compiler run locally?

Yes - it's a stdio server: it runs on your machine (via uvx) with your user's permissions. Your data stays local unless the server itself calls external APIs.

07 · Alternatives to Sounio Compiler

Alternatives to Sounio Compiler

Maintained developer tools servers if Sounio Compiler isn't the fit.

Pairs well with

Servers that cover what Sounio Compiler doesn't - only shown when the pairing reason fits the companion.

More developer tools MCP servers · Edict · Lumino MCP Server · Diffgate · Storybook MCP Addon · Sverklo