legesher-mcp
The Legesher Model Context Protocol server: the engine's translation capability inside every MCP-capable client — Claude, IDE assistants, agent frameworks — as six coarse, task-shaped tools.
Using the MCP server is free forever (Apache-2.0). The local server runs entirely against the locally installed Legesher engine: it needs no account, and every tool call is served locally. Optional usage telemetry is planned and will be off unless you turn it on; the Privacy section below says exactly what it would send. Some capabilities require a Legesher account on the hosted instance. What the server does is defined by this open package and nothing else.
Tools
| Tool | What it does |
|---|---|
translate_to_native |
Translate Python source into your natural language. Accepts complete files and fragments alike — no separate snippet mode. |
translate_to_source |
Translate native-language code back to English-keyword Python — the form the interpreter, the toolchain, and upstream collaborators use. |
explain_in_language |
Return the engine facts an assistant needs to explain code in your language: construct-by-construct keyword mappings, a static validation result, and (optionally) the translated source. The model writes the prose; the tool never does. |
lookup_keyword_mapping |
Quick-reference lookup: how do specific terms (or the full mapping) render in a language. |
map_existing_codebase |
The legibility report: given a set of files, what would translating this codebase into a language look like — per-file coverage, unmapped constructs, and optionally the translated files. |
validate_identifier_translations |
Check proposed identifier translations before recording them: malformed identifiers, unsafe text, names the pack has reserved, drift (one concept, two terms) and collision (two concepts, one term) — against both your existing glossary and the rest of the batch. Comparison is NFKC+casefold, so case variants and decomposed forms count as the same term. Returns the conflict-free subset, NFC-normalized and ready to record. |
Notes on shape, straight from the design:
- Translation X→Y pivots through English (packs are authored against
English). The engine has no direct X→Y path; when the pivot is taken the
result says so via
pivoted: truerather than failing. - Validation is static only —
compile(), neverexec()— submitted code is parsed, never executed. - Error results carry a machine code (
unsupported_language,language_pack_not_found,invalid_source) and a generic message: no stack traces, no filesystem paths, no echoed source.
Resources
| URI | Contents |
|---|---|
legesher://languages |
The language catalog with pack availability. |
legesher://languages/{lang}/terms |
The full term dictionary (keywords, builtins, exceptions, reserved words) for one language, at the default Python version. |
legesher://languages/{lang}/terms/{python_version} |
The same dictionary pinned to a Python version, for callers on a grammar other than the default. |
Prompts
explain-in— scaffolds "explain the selected code in {language}", steering the model toexplain_in_languagefirst and keeping engine facts distinct from narration.translate-review— walks a source/translated pair: translate, validate, then summarize what changed and what did not map.legibility-report— drivesmap_existing_codebaseover pasted files and renders the coverage report as a stakeholder-readable summary.
Install
The server needs the Legesher engine. Every language pack ships inside
legesher-i18n, so nothing else is installed:
# The server (pulls legesher-core and legesher-i18n, packs included)
uvx legesher-mcp
Inside the monorepo workspace every shipped pack is already installed:
uv run legesher-mcp
The server is quiet by default (log level WARNING). For troubleshooting,
set LEGESHER_MCP_LOG_LEVEL (DEBUG, INFO, WARNING, ERROR,
CRITICAL); unrecognized values fall back to the quiet default. GUI
clients do not run your shell, so the variable has to go in the client's
own config — every block below shows where.
Client configuration
Claude Desktop
claude_desktop_config.json (Settings → Developer → Edit Config):
{
"mcpServers": {
"legesher": {
"command": "uvx",
"args": ["legesher-mcp"],
"env": { "LEGESHER_MCP_LOG_LEVEL": "DEBUG" }
}
}
}
Claude Code
claude mcp add legesher -- uvx legesher-mcp
# with troubleshooting logs
claude mcp add legesher --env LEGESHER_MCP_LOG_LEVEL=DEBUG -- uvx legesher-mcp
Cursor
.cursor/mcp.json (project) or ~/.cursor/mcp.json (global):
{
"mcpServers": {
"legesher": {
"command": "uvx",
"args": ["legesher-mcp"],
"env": { "LEGESHER_MCP_LOG_LEVEL": "DEBUG" }
}
}
}
VS Code
.vscode/mcp.json (workspace) or the user-level mcp.json (Command
Palette: MCP: Open User Configuration):
{
"servers": {
"legesher": {
"type": "stdio",
"command": "uvx",
"args": ["legesher-mcp"],
"env": { "LEGESHER_MCP_LOG_LEVEL": "DEBUG" }
}
}
}
Zed
settings.json → context_servers:
{
"context_servers": {
"legesher": {
"command": {
"path": "uvx",
"args": ["legesher-mcp"],
"env": { "LEGESHER_MCP_LOG_LEVEL": "DEBUG" }
}
}
}
}
The env block is optional in every case — drop it to keep the quiet
default.
Serving over HTTP (self-host / single-user)
stdio is the default and what every client config above spawns. The same server also speaks the MCP streamable HTTP transport, for running it as a long-lived local service or on a machine you control:
legesher-mcp --transport streamable-http # 127.0.0.1:8000/mcp
legesher-mcp --transport streamable-http --port 9000
legesher-mcp --transport streamable-http --host 192.0.2.7
The posture, deliberately:
- Loopback by default, never a wildcard.
--hostdefaults to127.0.0.1, and wildcard binds (0.0.0.0,::) are refused: this entry ships no authentication, so it binds exactly one interface you name. To serve beyond a machine you trust end to end, put your own auth in front (below). - Stateless, plain JSON. Every request is self-contained — no
server-held session — and responses are
application/json, not SSE. Originvalidated when present. A browser page from another origin (the DNS-rebinding vector) is rejected with 403; the allowlist derives from the bound interface. MCP clients that send noOriginheader are unaffected.
Embedding instead of running: legesher_mcp.server.create_server() builds
the complete server from a Backend and an entitlement gate, and
create_http_app() returns it as an ASGI app to mount behind your own
middleware (TLS, auth, request context for the gate — see
legesher_mcp.gate.request_context). The gate is default-open: no
deployment code here installs one, gated tools always stay listed, and an
unentitled call answers with an actionable message rather than an opaque
failure. validate_identifier_translations is permanently free by
construction.
Making agent sessions stay localized
The server is the deterministic half; two shipped artifacts carry the policy and playbook half for agent sessions:
templates/AGENTS-template.md— the language-policy declaration. Copy it into a repository root asAGENTS.md, fill in the declared language, and everyAGENTS.md-reading agent (Codex, Cursor, Claude Code, Antigravity, Windsurf) picks up the same eight rules: write natively, never hand-translate keywords, one-concept-one-term naming via the project glossary, and the byte-identical round-trip guarantee. The file is the declaration; long sessions evict rules files from context, which is exactly why the deterministic tools — not the file — are the guarantee.skills/legesher-localized-code/— the stable-knowledge skill (Agent Skills format: portable across Claude Code, Claude apps, and the API). It teaches the mental model (run form ↔ native, deterministic vs fuzzy layers), which tool to call when, the write → round-trip → validate workflow, and the naming discipline. Claude Code: copy the directory into your project's.claude/skills/. Skills carry the stable playbook; the MCP server stays the live surface — that split is deliberate.
Privacy
- No telemetry in this version. The server sends nothing. A coming
release adds an optional usage report so the maintainers can see which
tools are used and how often; earlier versions of this README promised
that the server would never emit telemetry, and that promise is
withdrawn. When the report ships:
- It is off by default. Nothing is sent unless you set
LEGESHER_MCP_TELEMETRY=onin the server's environment (theenvblock or--envflag of your client config, as in the examples above). DO_NOT_TRACK=1orLEGESHER_TELEMETRY_DISABLED=1always wins and overrides every other setting.- It sends only: tool name, call count, error class, server and engine versions, and a random install id (kept per install so repeated reports count once; not derived from your machine, account or code). Never source code, file contents, identifiers, translated text, prompts, file paths, or anything that identifies you personally.
- It runs off the request path: a tool call never waits on it or fails because of it, and a report that cannot be delivered is dropped.
- It never touches the MCP stdio stream.
- It is off by default. Nothing is sent unless you set
- No network on a tool call. Every tool call is served by the local engine. The usage report above, once it ships and only if you enable it, is the only outbound traffic this package is designed to initiate.
- Your code is not stored. Submitted source is processed in memory; file paths
passed to
map_existing_codebaseare report labels — echoed back to you, never logged, never used to touch the filesystem. This is whyvalidate_identifier_translationstakes your glossary as content and hands back the accepted entries rather than saving them: recording is yours to do, whether that is.legesher/identifier_map.jsonin your repo or thelegesherCLI, which already maintains that file. A durable glossary that outlives the session and is shared across repos and teammates is a system of record, and belongs behind the hosted API — not in a local subprocess. - Declared, not just claimed. All six tools carry MCP annotations
saying so:
readOnlyHint: true,idempotentHint: true,destructiveHint: false,openWorldHint: false. Clients that read the hints (Claude Code among them) can reduce or skip approval prompts, because no tool call writes a file, executes submitted code (validation iscompile()only), or opens a socket. A surface-lock test asserts the annotations, so a future tool that does any of those has to change them deliberately.
Development
cd libs/mcp
uv run pytest # the per-commit suite (every tool, through MCP)
uv run pytest -m scheduled # release-tier: all-packs sweep + wheel spawn
uv run ruff check . # lint
uv run mypy legesher_mcp # types
Two test tiers. The default run exercises every tool through a real MCP
client session and stays fast. The scheduled tier is excluded from it and
run before a release:
-
All-packs round-trip sweep — the byte-identical guarantee across every installed pack and the whole construct corpus (the per-commit run samples three packs). Known engine/pack failures are listed as strict xfails in
tests/test_roundtrip_sweep.py, so a fix announces itself. -
Clean-environment spawn — builds the wheels, installs them into a fresh virtualenv in an empty directory, and drives a stdio session with a stripped environment. It is the only test that exercises the artifact the way a host actually starts it: outside the workspace, with no
PYTHONPATHand no repo checkout.It gates the release.
release-mcp.ymlrunsmake test-mcp-scheduledbefore the version step, so a failure means no version bump, no tag, and no GitHub release — nothing to un-publish. Run it locally withmake test-mcp-scheduledbefore you expect a release to go out.Scope, so the guarantee isn't overread: it gates cutting a version. The push to a package index is the
mcptarget ofpublish-pypi.yml, which is dispatch-only and runs afterfoundationhas reached the same index (CORE-626).
Versioning
legesher-mcp releases on its own train, independent of the foundation
suite: tags are mcp-v{version}, cut by release-mcp.yml when something
under libs/mcp/ lands on main. The version in pyproject.toml is the
single source — __version__ reads it back through importlib.metadata, so
the initialize handshake cannot report a number the wheel does not have.
Pre-1.0, a breaking change bumps the minor (0.1.0 → 0.2.0);
major_on_zero is off, so reaching 1.0.0 is a deliberate decision rather
than a side effect of one commit.
Listings
server.json is the manifest the official MCP registry reads, and the
mcp-name comment at the top of this README is how that registry confirms
the PyPI package belongs to the listing. docs/registry-listings.md holds
the canonical listing copy and what each directory reads, so every listing
says the same thing. tests/test_registry_manifest.py pins the manifest to
this package's name, version and environment variables.
License
Apache-2.0. See LICENSE.
Metadata
Release files for legesher-mcp 0.3.0
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | Provenance | Actions |
|---|---|---|---|---|
| legesher_mcp-0.3.0.tar.gz | 101.2 kB | With provenance | Details for legesher_mcp-0.3.0.tar.gz |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Actions Reset |
|---|---|---|---|---|
| legesher_mcp-0.3.0-py3-none-any.whl | Python 3 | none | any | Details for legesher_mcp-0.3.0-py3-none-any.whl |
Total release size: 149.1 kB
Release files / legesher_mcp-0.3.0.tar.gz
| Download URL | legesher_mcp-0.3.0.tar.gz |
|---|---|
| Size | 101.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
1e2bb6b77ce8f1791371ca3b90eb21ac214c1faa419724722d792eb5086be98b
|
|
BLAKE2b-256 checksum How to use checksums |
baadc7e6094d2dafb3e0c4e6f955dfce52824f8c36674bec387a6380ac557b39
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.13
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Nov 3, 2026.
Transparency logRelease files / legesher_mcp-0.3.0-py3-none-any.whl
| Download URL | legesher_mcp-0.3.0-py3-none-any.whl |
|---|---|
| Size | 47.8 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
f856c9d4b8cb2f3cd45b0b67d7dc161f376b1c743400e64895fc5d78c78cd104
|
|
BLAKE2b-256 checksum How to use checksums |
5b6d4f56772212b858c5c90adf3923e19e07ecd936e02a05580f92b3ead600b2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
Yes |
| Uploaded via |
twine/6.1.0 CPython/3.13.13
|
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Nov 3, 2026.
Transparency logSecurity for legesher-mcp 0.3.0
Provenance
Provenance describes where a file came from. On PyPI, provenance is shared via attestations, which provide a verifiable record of the build or publishing details. View details, limitations and caveats.
Full provenance
All 2 files in this release have been uploaded with provenance metadata.
Attestation for legesher_mcp-0.3.0.tar.gz
PyPI Publish Attestation
PyPI verified that this artifact, at this checksum, originated from the publisher listed below.
Signed by GitHub Actions, verified by PyPI on Nov 3, 2026.
Transparency logA note on package security
PyPI is a repository for distributing packages, not a service for auditing them. While third-party security researchers and our staff do their best to detect and remove malicious packages, PyPI cannot guarantee the quality, security or suitability of any given package.
To learn more about protecting yourself from malicious actors, visit our package security documentation.