Sabline MCP Server

Run code an AI wrote without handing it everything you can reach. Each function declares what it may touch. You grant the run one folder, one host or a number of calls, and the runtime refuses anything else the moment it's tried. It runs locally over stdio via the published package.

People who work with compiler, effect system and formal verification and want it reachable from Claude, Cursor, VS Code, or another MCP client. The project is written in Python.

VERIFIED ACTIVE

LAST COMMIT 2026-09-26 · ★ 3 · #92 OF 180 MAINTAINED DEVELOPER TOOLS · VERIFIED 2026-09-30

MIT · Python servers · how we verify → /methodology

01 · Install Sabline

Claude Code

claude mcp add gowrishankar-infra-sabline-lang -- npx -y sabline-lang

Claude Desktop / Cursor / VS Code - add to config

{
  "mcpServers": {
    "gowrishankar-infra-sabline-lang": {
      "command": "npx",
      "args": [
        "-y",
        "sabline-lang"
      ]
    }
  }
}

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

repo age created 2026-08-16 - young repo, little track record yet

license MIT - declared in the repository

npm package sabline-lang - unscoped; check the name against the project README before installing

registry namespace io.github.gowrishankar-infra is GitHub-verified and matches the repo owner

03 · What Sabline can do

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

Latest releases

v8.7.0 · 2026-09-26

check_api.py counted a pre-release tag, and asked for the api: line · in the wrong place. tests/api/golden.json is the Python package's · surface, and a pre-release ships the sabline-rt crate and nothing else - · the…

v8.6.0 · 2026-09-21

The project is renamed. Velaris is Sabline from this release. Nothing · else changed: not the language, not the budget grammar, not an error code, · not a guarantee, not a line of the threat model. 8.6.0 renames, and…

v8.5.0 · 2026-09-20

A minor version, additive throughout: what it is like to use. One command · that shows a refusal and a run inside a budget with nothing to read first; · four libraries, written in Velaris, so that an operations script…

04 · Who maintains Sabline

Sabline is maintained by gowrishankar-infra. We track 2 MCP servers from gowrishankar-infra - 1 actively maintained, 6 combined GitHub stars, oldest repo from Aug 2026. Full record: all servers from gowrishankar-infra.

Velaris Write Velaris, audit what it can touch, and run it under an effect budget. ★ 3

05 · Facts

repository: github.com/gowrishankar-infra/sabline-lang
website: https://sabline.dev/
category: developer tools - ranked #92 of 180 actively-maintained developer tools servers as of 2026-09-30.
release cadence: 9 releases in the last 90 days (latest 2026-09-26)
registry: io.github.gowrishankar-infra/sabline (active, first published 2026-09-21 · 2 versions)
packages: pypi:sabline-lang · npm:sabline-lang

06 · Sabline FAQ

What is Sabline?

Is Sabline still maintained?

Yes - as of 2026-09-30, its last commit was 2026-09-26 and it shipped 9 releases in the last 90 days. We re-verify nightly.

How do I install Sabline?

Run `npx -y sabline-lang`. You can also paste the ready-made client config above.

Does Sabline run locally?

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

07 · Alternatives to Sabline

Alternatives to Sabline

Maintained developer tools servers if Sabline isn't the fit.

Pairs well with

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

More developer tools MCP servers · Roast My Design System (gregkozakiewicz) · Grid Proof · Markupr Plus · Batch Review · Grok MCP

More Python MCP servers · Link · Ipybox · Chart Library - Market-state research · Greptimedb MCP Server · Ihalent · see all