AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified.
A programming language designed for AI agents. No parser. No syntax. Agents produce AST directly as JSON. Edict is a statically-typed, effect-tracked programming language where the canonical program format is a JSON AST. It's purpose-built so AI agents can write, verify, and execute programs through a structured pipeline — no text parsing, no human-readable syntax, no ambiguity. JSON AST —…
Inferred from the transports this listing declares (stdio). A client not listed here hasn’t been ruled out — it just isn’t something Forge can confirm.
Verification confirms publisher identity (repo ownership), not code safety. The security scan covers known CVEs and suspicious install scripts.
Read out of the source npm actually ships, at scan time. The package was never executed. Tools registered dynamically at runtime, or hidden inside bundled or minified code, can be missed — so this is a floor on the tool surface, not a complete census of it.
add_contractsNo description publishedThis tool published no description. Forge does not invent one.
edict_checkNo description publishedThis tool published no description. Forge does not invent one.
edict_compileNo description publishedThis tool published no description. Forge does not invent one.
edict_composeNo description publishedThis tool published no description. Forge does not invent one.
edict_debugNo description publishedThis tool published no description. Forge does not invent one.
edict_deployNo description publishedThis tool published no description. Forge does not invent one.
edict_explainNo description publishedThis tool published no description. Forge does not invent one.
edict_exportNo description publishedThis tool published no description. Forge does not invent one.
fix_errorNo description publishedThis tool published no description. Forge does not invent one.
edict_generate_testsNo description publishedThis tool published no description. Forge does not invent one.
edict_import_skillprivilegedNo description publishedThis tool published no description. Forge does not invent one.
edict_invoke_skillprivilegedNo description publishedThis tool published no description. Forge does not invent one.
edict_invokeNo description publishedThis tool published no description. Forge does not invent one.
edict_lintNo description publishedThis tool published no description. Forge does not invent one.
edict_packageNo description publishedThis tool published no description. Forge does not invent one.
edict_patchNo description publishedThis tool published no description. Forge does not invent one.
edict_replayNo description publishedThis tool published no description. Forge does not invent one.
review_astNo description publishedThis tool published no description. Forge does not invent one.
edict_runNo description publishedThis tool published no description. Forge does not invent one.
edict_schemaNo description publishedThis tool published no description. Forge does not invent one.
edict_supportNo description publishedThis tool published no description. Forge does not invent one.
edict_validateNo description publishedThis tool published no description. Forge does not invent one.
write_programprivilegedNo description publishedThis tool published no description. Forge does not invent one.
0 of 23 tools published a description.
Tool names and descriptions are written by the publisher and shown verbatim as inert text. They are the strings an MCP client passes to a model, so Forge scans them for prompt-injection patterns — any finding appears with the security scan above. “Privileged” is a keyword match on the tool name, not an audit of what the tool does: a benign-sounding name can still do anything.
A programming language designed for AI agents. No parser. No syntax. Agents produce AST directly as JSON. Edict is a statically-typed, effect-tracked programming language where the canonical program format is a JSON AST. It's purpose-built so AI agents can write, verify, and execute programs through a structured pipeline — no text parsing, no human-readable syntax, no ambiguity. JSON AST — Programs are JSON objects, not text files. No lexer, no parser. Structured errors — Every error is a typed…
Linked names open Forge’s index of every entry observed exposing that tool. Browse all indexed tools.
This package was last scanned before Forge began storing the resolved tree. The next scan will record it.