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 —…
Déduit des transports déclarés par cette annonce (stdio). Un client absent de cette liste n’est pas écarté pour autant — c’est simplement quelque chose que Forge ne peut pas confirmer.
La vérification confirme l’identité de l’éditeur (la propriété du dépôt), pas la sûreté du code. L’analyse de sécurité couvre les CVE connues et les scripts d’installation suspects.
Lu dans le code que npm livre réellement, au moment de l’analyse. Le paquet n’a jamais été exécuté. Les outils enregistrés dynamiquement à l’exécution, ou cachés dans du code empaqueté ou minifié, peuvent passer inaperçus — c’est donc un plancher de la surface d’outils, pas un recensement complet.
add_contractsAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_checkAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_compileAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_composeAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_debugAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_deployAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_explainAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_exportAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
fix_errorAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_generate_testsAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_import_skillprivilégiéAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_invoke_skillprivilégiéAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_invokeAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_lintAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_packageAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_patchAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_replayAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
review_astAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_runAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_schemaAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_supportAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
edict_validateAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
write_programprivilégiéAucune description publiéeCet outil n’a publié aucune description. Forge n’en invente pas.
0 outils sur 23 ont publié une description.
Les noms et descriptions d’outils sont écrits par l’éditeur et affichés tels quels, comme du texte inerte. Ce sont les chaînes qu’un client MCP transmet à un modèle, alors Forge y recherche des motifs d’injection de prompt — tout constat apparaît avec l’analyse de sécurité ci-dessus. « Privilégié » est une correspondance de mot-clé sur le nom de l’outil, pas un audit de ce qu’il fait : un nom anodin peut tout de même tout faire.
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…
Les noms cliquables ouvrent l’index Forge de toutes les entrées observées exposant cet outil. Parcourir tous les outils indexés.
Ce paquet a été analysé pour la dernière fois avant que Forge ne commence à stocker l'arbre résolu. La prochaine analyse l'enregistrera.