mcpField
M
mort-mcp

mort-mcp

Local
github.com/0xmortuexDeveloper Tools0Updated 3w ago

About mort-mcp

mort-mcp is an MCP server for developers and agents working with Mort, a statically typed systems language that compiles to C. It offers type checking, execution, documentation search, and standard-library lookup using information from the installed compiler.

Key features

  1. 01Type-check source and pinpoint diagnostics
  2. 02Compile and run programs
  3. 03Show generated C output
  4. 04Format code with the official formatter
  5. 05Search language docs and standard-library signatures

Use cases

  1. 01Check newly written Mort code
  2. 02Run a program and inspect output and exit code
  3. 03Look up language specifications or standard-library APIs

MCP support

As an MCP server, it gives agents tools for checking, running, formatting, and looking up Mort code. The tools call mortc through its command-line interface and use docs and standard-library data from the installed compiler.

Configuration

Local server config is the same for every client. Copy it into your client’s MCP config file.

mcp.json · Universal config
{
"mcpServers": {
"0xmortuex-mort": {
"command": "uvx",
"args": [
"mort-mcp"
],
"env": {
"MORT_HOME": "<MORT_HOME>"
}
}
}
}
Run commanduvx mort-mcp
Environment variables to set
MORT_HOMEPath to a checkout of github.com/0xmortuex/Mort (enables docs and examples)

Local servers need a runtime on your machine (e.g. Node.js 18+). Config file locations differ by client; see your client’s docs.

Packages
pypimort-mcp0.1.0

Tools

8

Saved tool list · updated 3w ago

This tool takes no parameters.

Details

From the project README

mort-mcp

Let an AI agent write a language it has never seen.

Mort is a statically typed systems language that compiles to C. It's the language MORT OS is written in. No model has Mort in its training data, so an agent asked to write it will guess Rust-like syntax and get it wrong.

mort-mcp gives the agent what a human newcomer would use: a fast type checker with precise errors, a way to run programs, the language spec to search, and the exact signatures of the standard library.

> mort_check
FAILED:
error: <source>:4:1: argument 1 of 'strings.starts_with' expects []const u8, got *u8
        if strings.starts_with("mortos", "mort") {

> mort_std strings
// First byte offset of `needle` in `text`, or None if it does not occur.
pub fn index_of(text: []const u8, needle: []const u8) -> Option<u64>;
...

> mort_run
[exit 0]
1

Install

You need the Mort compiler. The simplest setup is a checkout, which also brings the docs and examples:

git clone https://github.com/0xmortuex/Mort
pip install mort-mcp ziglang     # ziglang = zero-install C backend for mort_run
claude mcp add mort --env MORT_HOME=/path/to/Mort -- mort-mcp

Without MORT_HOME, mort-mcp uses a mortc on your PATH (pip install git+https://github.com/0xmortuex/Mort). Checking, running and std lookup all work that way. mort_docs and mort_examples need the checkout.

Tools

ToolWhat it does
mort_checkType-check source text or files without building. Fast, and needs no C compiler. Returns diagnostics as file:line:col with the source line.
mort_runCompile and run, with stdin, args and a timeout. Reports output and exit code.
mort_emit_cShow the generated C. freestanding=True shows the kernel-mode output.
mort_formatFormat with the official formatter (mortc fmt).
mort_stdList std modules, or show one module's public API: exact signatures, struct fields and doc comments.
mort_docsSearch the language specification and reference docs, e.g. "resource struct cleanup" or "integer overflow".
mort_examplesList or read the compiler's example programs.
mort_versionCompiler and language version, and where the compiler was found.

Every tool calls mortc through its command-line interface, and reads std signatures and docs from the installed compiler. Answers therefore match the version you're running, even as the language changes.

Tests

pip install ".[test]" "ruff==0.16.0" "mypy==2.3.0" ziglang
ruff check src tests && mypy --strict src
MORT_HOME=/path/to/Mort pytest tests

Without MORT_HOME, only the unit tests and the MCP handshake test run. CI checks out the latest Mort and also runs every night, so a change to the compiler's CLI or docs layout shows up as a failing build.

License

MIT

Comments

Markdown supported

New to MCP?

From what the protocol is to installing your first server, these answers cover most first questions.

An open protocol that defines how AI applications connect to external tools and data in a uniform way. Clients talk to the model; MCP servers provide tools, resources and prompt templates. They exchange standard messages, so one server can be reused by many clients.