MCP server for DeepL translation API
Nothing to run from here
Edict Lang is installed from its publisher's own source and answers where it runs, so this marketplace is not in the path of a single call. There is no address here to send one to, and a panel that pretended otherwise would be showing you an answer we made up. Install it and call it from your own client — the Installation tab has the entry for each one.
93/100
trust score
10
downloads a day
local
runs on your machine
471
downloads in 30d
What it does
Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.
Quickstart
# 1 — add it to Claude Code
claude mcp add --scope user edict-lang-mcp '--' npx -y edict-lang
# 2 — ask your agent for something these tools do
# edict_schema, edict_version, edict_examples and 15 more
Edict Lang costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.
Publishernot claimed
SOAll 1 server
sowiedu1 server
1 category
Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.
Installation
Where are you running it?
Every route below installs the same thing and ends at the same approval screen. This one runs on your machine: your client starts Edict Lang as a process under your own user, with your files and your network, so the tool surface below is what it can do to your computer rather than to a server somewhere else. Its scan result is on the Security tab — read the surface before you approve it.
Claude Codedeclared by this listing
This is a public server: you run it yourself and this marketplace is not in the path. You need Node.js — the current LTS (24) is the safe choice; npx comes with it. Claude Code registers it in one command; --scope user makes it available in every project. The '--' is in quotes so that PowerShell passes it on.
claude mcp add --scope user edict-lang-mcp '--' npx -y edict-langReconnect, or start a new session, and the tools appear in the model’s tool list.
Free on mcprush, and it runs from its publisher’s own package: this marketplace is not in the path, so there is no key of ours to hold and no card to add.
What it writes
One config entry your client uses to start the process locally. A local server runs with your file system and your network, which is why it is priced without metering.
What you approve
18 tools, with what each one reads, writes and reaches shown before you agree — the same list on every route above. Read the tool surface.
Tool surface
What the model actually sees. Descriptions are diffed on every release — see version history.
Return the JSON Schema defining valid Edict AST programs. Use format 'minimal' for reduced token cost (strips descriptions).
No parameter schema on file.
Return compiler version and capability info.
No parameter schema on file.
Return example programs as JSON ASTs.
No parameter schema on file.
Validate an Edict AST against the compiler's JSON schema without typing or compiling. Use this as a first pass.
No parameter schema on file.
Run the full semantic checker (name resolution, type checking, effect checking, contract verification) on an AST. Supports single module or multi-module input.
No parameter schema on file.
Compile a semantically valid Edict AST into a WebAssembly module. Returns the WASM binary encoded as a base64 string. Supports single module or multi-module input.
No parameter schema on file.
Execute a compiled WebAssembly module (provided as base64) in a sandboxed runtime with configurable limits.
No parameter schema on file.
Apply surgical patches to an Edict AST by nodeId, then run the full check pipeline. Fix errors without resubmitting the entire AST.
No parameter schema on file.
Return machine-readable catalog of all structured error types.
No parameter schema on file.
Run non-blocking lint analysis on an Edict AST. Returns quality warnings without blocking compilation.
No parameter schema on file.
Execute an Edict program with debug instrumentation. Returns structured crash diagnostics including call stack, crash location with nodeId, and step count.
No parameter schema on file.
Compose multiple Edict program fragments into a single module. Fragments declare what they provide and require.
No parameter schema on file.
Given a structured error, returns enriched repair context: pipeline stage, field metadata, example ASTs, and repair strategy.
No parameter schema on file.
Export an Edict AST as a portable WASM skill package with validation and manifest generation.
No parameter schema on file.
Import and execute a compiled Edict WASM skill package, validating its checksum.
No parameter schema on file.
Auto-generate structured test cases from Z3-verified contracts. Extracts boundary values and counterexamples as regression tests.
No parameter schema on file.
Re-execute a WASM module using a previously recorded replay token for deterministic reproduction of runtime behavior.
No parameter schema on file.
Returns structured sponsorship and support information for the Edict project.
No parameter schema on file.
Free
$0 forever
- Every tool, no call limit
- No card, and mcprush charges nothing for it
- Source published under MIT
- Runs on your machine — nothing of it reaches our gateway
- Nothing to cap, because mcprush bills nothing
What counts against your monthly calls
| Tool | Unit | Calls used | Out of the allowance |
|---|
Nothing here is billable: mcprush charges nothing to install Edict Lang or to call it, at any volume.
Call allowance · this installenforced at the gateway
Monthly allowance, in calls
—
—
Alert at 80% · then the tool returns a normal MCP error
Used this month: —
ATrust score 93 / 100
Release 1.23.2 · scanned 14 Oct 2026
Two independent axes, because powerful and malicious are different questions. The grade is threat only. The capability level is blast radius, and it is never a penalty on the grade — it is priced as one subtract-only term in the score, where you can see it.
Threat score100
Client score93
Findings11 threat · 0 capability
Capabilityhigh
Coveragesource
Verificationrepo
Surface digest9709ea5f8b15b4c815edeeb8db7d4fe28e93edda86255a9ca999bc47c618e643
Score vectorthreat 100 → client 93
| Term | Level | What it prices | Points |
|---|---|---|---|
| capability-exposure | high | capability blast radius (high) — client exposure if the model is manipulated | −6 |
| verification-discount | repo | publisher verification (public source) — no provenance, but the source is public and inspectable | −1 |
| coverage-honesty | source | inspection depth (source) — how much of the target the scan could see | −0 |
score = clamp(round(threatScore − E_cap − E_ver − E_cov), 0, 100). No model, no opinion, no network call at scoring time: the same methodology version against the same bytes always produces this number, and every line above is a field of the report rather than a summary of it.
What the scan could actually read
A grade is only as meaningful as its coverage, so the scanner publishes its own depth before it publishes its result.
Tool surfacenot available
Implementation sourceread
Package metadataread
Live transportnot available
No tools were enumerated, so prompt-injection, capability and toxic-flow analysis had no tool surface to inspect. To grade a package’s real runtime tools, scan the running server: --command "npx -y <package>".
Capability — what it could do if the model were manipulated
Tags derived from each tool’s schema and the implementation, not from what the tool calls itself. high is the level these add up to.
| Tool | Capability tags | Why the tag was assigned |
|---|---|---|
| No per-tool rows for this release — see the note below. | ||
can execute shell commands or code
Toxic-flow graph
The lethal trifecta, checked as a graph rather than as a checklist: untrusted input, a sensitive source and an external sink have to meet before there is a path worth worrying about.
The public result for this release does not print the flow graph, so there is nothing to show here. That is not the same as "no paths were found": what the scan did read is above, under coverage.
Supply chain and provenance
Integrityfirst-seen
Surface digest9709ea5f8b15b4c8
Scanned2026-10-14
This is the first scan of this surface here, so there is nothing yet to compare it against.
Every result on this tab comes from one deterministic pass over the published package — offline, rule by rule, and auditable line by line above. Same methodology version, same bytes, same score.
Release history
Always latest — the install command names no version, so it installs the newest release when it runs; the current release on file is 1.23.2. Pin a release below and the command asks for exactly that one.
1.23.2
undated
latestNo release note was published with this version.
—
no reviews yet
Who can review
One review per account, from a signed-in account that does not publish this listing. Nothing else is asked — you can say what you think before you install it. Publishers can reply once per review, and a review can be edited or deleted by whoever wrote it.
Sign in to write one
Any signed-in account that does not publish Edict Lang can review it, once — before installing it or after. A review from an account that has installed it is marked as one.
No reviews yet
Nobody has reviewed this listing. The rating on the card is the mean of the reviews written here and nothing else, so there is no rating until somebody writes the first — which takes a signed-in account that does not publish it, and nothing else.