Tag: edict

Type: All Skills Tools
Tags: mcp automation llm cli code-review unity typescript genomics game-development bioinformatics debugging documentation cloudbase ai-agents agentic-workflow devops llm-agent workflow-automation encode code-analysis
skill ★ 1

Writing Structured Edict Programs via JSON AST

This skill guides the generation of Edict programs as structured JSON Abstract Syntax Trees (ASTs), rather than traditional source code. It covers the module structure, type system, effect declarations, and contract enforcement necessary fo…

Sowiedu/Edict edict ast-generation json-schema wasm
tool ★ 1

Edict Compiler for Agentic WASM Code Generation

This compiler pipeline processes JSON ASTs generated by AI agents through multiple stages—including structural validation, type checking, effect analysis, and Z3 contract verification—before generating secure WASM bytecode. It is designed f…

Sowiedu/Edict edict compiler wasm agent-code