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 —…
Inferido de los transportes que declara este listado (stdio). Que un cliente no aparezca aquí no significa que se haya descartado: simplemente Forge no puede confirmarlo.
La verificación confirma la identidad del publicador (la propiedad del repo), no la seguridad del código. El análisis de seguridad cubre los CVE conocidos y los scripts de instalación sospechosos.
Leído del código que npm publica realmente, en el momento del análisis. El paquete nunca se ejecutó. Las herramientas registradas dinámicamente en tiempo de ejecución, o escondidas en código empaquetado o minificado, pueden pasarse por alto — así que esto es un mínimo de la superficie de herramientas, no un censo completo.
add_contractsSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_checkSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_compileSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_composeSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_debugSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_deploySin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_explainSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_exportSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
fix_errorSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_generate_testsSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_import_skillprivilegiadaSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_invoke_skillprivilegiadaSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_invokeSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_lintSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_packageSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_patchSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_replaySin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
review_astSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_runSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_schemaSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_supportSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
edict_validateSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
write_programprivilegiadaSin descripción publicadaEsta herramienta no publicó ninguna descripción. Forge no se la inventa.
0 de 23 herramientas publicaron una descripción.
Los nombres y descripciones de las herramientas los escribe el publicador y se muestran literalmente como texto inerte. Son las cadenas que un cliente MCP pasa al modelo, así que Forge las analiza en busca de patrones de inyección de prompts — cualquier hallazgo aparece junto al análisis de seguridad de arriba. «Privilegiada» es una coincidencia de palabra clave en el nombre de la herramienta, no una auditoría de lo que hace: un nombre inofensivo puede hacer cualquier cosa.
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…
Los nombres enlazados abren el índice de Forge con todas las entradas que se observó que exponen esa herramienta. Ver todas las herramientas indexadas.
Este paquete se analizó por última vez antes de que Forge empezara a guardar el árbol resuelto. El próximo análisis lo registrará.