io.github.0xmortuex/mort-mcp
Write, type-check and run Mort code, with language spec and stdlib lookup.
Installation
Ajoutez ceci à la configuration MCP de votre client (Claude Desktop : claude_desktop_config.json ; Cursor : .cursor/mcp.json ; VS Code et les autres utilisent la même forme « mcpServers »).
mort-mcpclaude mcp add mort-mcp -e 'MORT_HOME=<MORT_HOME>' -- uvx mort-mcp==0.1.0
{
"mcpServers": {
"mort-mcp": {
"command": "uvx",
"args": [
"mort-mcp==0.1.0"
],
"env": {
"MORT_HOME": "<MORT_HOME>"
}
}
}
}
Variables d'environnement
MORT_HOMEPath to a checkout of github.com/0xmortuex/Mort (enables docs and examples)
Documentation
Tirée du README du projet sur GitHub, actualisée chaque semaine. Les liens ouvrent GitHub.
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
| Tool | What it does |
|---|---|
mort_check | Type-check source text or files without building. Fast, and needs no C compiler. Returns diagnostics as file:line:col with the source line. |
mort_run | Compile and run, with stdin, args and a timeout. Reports output and exit code. |
mort_emit_c | Show the generated C. freestanding=True shows the kernel-mode output. |
mort_format | Format with the official formatter (mortc fmt). |
mort_std | List std modules, or show one module's public API: exact signatures, struct fields and doc comments. |
mort_docs | Search the language specification and reference docs, e.g. "resource struct cleanup" or "integer overflow". |
mort_examples | List or read the compiler's example programs. |
mort_version | Compiler 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
Questions fréquentes
Qu'est-ce que io.github.0xmortuex/mort-mcp ?
Write, type-check and run Mort code, with language spec and stdlib lookup.
Comment installer io.github.0xmortuex/mort-mcp ?
Il s'exécute sur votre machine. Dans Claude Code : claude mcp add mort-mcp -e 'MORT_HOME=<MORT_HOME>' -- uvx mort-mcp==0.1.0. Pour les autres clients, collez la configuration JSON de cette page dans leurs réglages MCP.
Faut-il une clé API pour io.github.0xmortuex/mort-mcp ?
Son entrée au registre n'indique aucune clé ni secret obligatoire. Certaines fonctions peuvent tout de même demander un compte auprès du service auquel il se connecte.
io.github.0xmortuex/mort-mcp est-il open source ?
Oui. Son code est sur GitHub sous licence MIT.
Qui maintient io.github.0xmortuex/mort-mcp ?
Il est publié par 0xmortuex. AI.tn le référence sans le maintenir ni le recommander.
Issu du registre MCP officiel. Être listé n'est pas une recommandation : vérifiez le code et les permissions d'un serveur avant de lui donner accès à vos données.