{"_id":"edict-lang","_rev":"26-65f217f5edf74094d01cc1fcd0d9a64f","name":"edict-lang","dist-tags":{"latest":"1.23.2"},"versions":{"0.1.0":{"name":"edict-lang","version":"0.1.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@0.1.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"aeaf1aca5a402ecdff3a455ace70e5f2b8b4b13c","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-0.1.0.tgz","fileCount":111,"integrity":"sha512-kBn6QSYFr2auxpiRZZoCcH3IYp018A0aHU+yaz+9HQl3Z6fMen8Rx8MHcJooHB4yl+7ymwXfsgtC6EJ+R9eBpw==","signatures":[{"sig":"MEUCIQDLvmx5ogaxxDw4F1+vpP6Uk7MZHdMcaMA4ZWSDKwNBEAIgSBIPA7lvL47v1onkde0kOrfKWBRVlzOpirEtn6/kvDg=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":468274},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"05fb2e10cd5e3593c214010b5b7b6c9c80964bef","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"tsc","test:watch":"vitest","test:coverage":"vitest run --coverage","prepublishOnly":"npm run test && npm run build","generate-schema":"tsx scripts/generate-schema.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.9.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"22.14.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^3.0.0","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^3.0.0","typescript-json-schema":"^0.65.0"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_0.1.0_1772614168544_0.26660769897189396","host":"s3://npm-registry-packages-npm-production"}},"1.0.0":{"name":"edict-lang","version":"1.0.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.0.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"0feb5a4b50ba3275f6ea69ae37f21f6c43001561","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.0.0.tgz","fileCount":111,"integrity":"sha512-J3fBJKkm/S9uSWQxm9JYqayekGh4bQyzFcxyVHSihKW2rPWrwLKw3780LelqLO32UggaP/8sN3a7B4+Wa3cdfQ==","signatures":[{"sig":"MEUCIQCUZRN5JO3+XfT9tFbDSMh8702j+1fPPx4E3GQRzrbrZwIga0ZN1/DQkvzZbY4x38wOpA9nSll+ZkkXdhVmZeIp9BM=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":478327},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"7d88888d3878307accf16b96ee11503c668cd890","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"tsc","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^3.0.0","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^3.0.0","typescript-json-schema":"^0.65.0"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.0.0_1772617361096_0.35133017264949995","host":"s3://npm-registry-packages-npm-production"}},"1.1.0":{"name":"edict-lang","version":"1.1.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.1.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"4a9736175b17d1bf9406146cce78632c954553f5","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.1.0.tgz","fileCount":115,"integrity":"sha512-XiJtQUZ+VSkc7uIJgvyjfPVqRyxdjIrWlxPMAPpyfDPd+i1konI5SkmK8Je42nzYLGXz/RVEOlorMx9Xo47bAA==","signatures":[{"sig":"MEYCIQDsgF8pNqE0OtwRqHVk/kKGlg2uuyWJad9v66DsTmz0mgIhAOd8oP0Pb6njYmjZckuGW+dO8BL9oPfdqmjae+iMhaxk","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":506139},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"b24e742f58a96db71830887500a7d4421fdbe37f","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"tsc","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^3.0.0","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^3.0.0","typescript-json-schema":"^0.65.0"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.1.0_1772627745161_0.0016069888300185298","host":"s3://npm-registry-packages-npm-production"}},"1.2.0":{"name":"edict-lang","version":"1.2.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.2.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"92fc18552435fca6f99cae1dead67eb315993261","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.2.0.tgz","fileCount":123,"integrity":"sha512-+PfoJqChwmO5GoTVMSb86jIAEdvndhkUkr9934ECmiRFMZKsG3Udxijso4xKG4xJE9dqSmYoYw2KzJxhi7Ekig==","signatures":[{"sig":"MEYCIQD2F6ItjOfoFXxJO0FmRn5tf9ssujNixPPs+knKJ6BDhgIhAI9H27jbHvhxL95C8ZFuGrLCSoSoCrkQTW/UFQ6MyST2","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":639737},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"23b34532e4e89660bf28b33b4c2125b6e8de09ff","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"tsc","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^3.0.0","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^3.0.0","typescript-json-schema":"^0.65.0"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.2.0_1772645855324_0.6875457705036008","host":"s3://npm-registry-packages-npm-production"}},"1.5.0":{"name":"edict-lang","version":"1.5.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.5.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"6765b0d56074325f796542d5fc0ae45678acec1e","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.5.0.tgz","fileCount":203,"integrity":"sha512-4Cjoow0e3u3a6slNvim3IgYfHeyzGqh9ueOBWsAZyfGnYNfHLF1Gwoz4EwkDvMh99HO+qh7wfMvOD6KWZgTmlg==","signatures":[{"sig":"MEQCIBMG0Mr8mIe0VcQYIsnxQa2TWZ9tVBxftZfDdhaElFZxAiAp1dmK2sxqfccK/SAniuyY0Va6nCSKVDaw1EZ4nRqTUw==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":938987},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"45bdf380f646781853470d091e3c7f106daf7580","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^3.0.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^3.0.0","typescript-json-schema":"^0.65.0"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.5.0_1772837679958_0.5572542702113321","host":"s3://npm-registry-packages-npm-production"}},"1.6.0":{"name":"edict-lang","version":"1.6.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.6.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"8258814f9db62d848d266157e7813de620a88abd","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.6.0.tgz","fileCount":275,"integrity":"sha512-6n7SuiaEH6KzMiuyl4desdXnT7q6ckAczg2vGL/+x4Pkxxfs0mFtUcD8vYzndWXIRT1dY67JHeyyYm46CVEHbg==","signatures":[{"sig":"MEYCIQCGWatpHPPTjw9INYHN+jwjACf/+LZYU/wKq6XDCU81gAIhAOQAfG8Oyg2JisOJ9LKYhpU65yNAUXLAgEXm+A7quhOg","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":988875},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"edc5b3fd66505577c6a507d40952759740f33307","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^3.0.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^3.0.0","typescript-json-schema":"^0.65.0"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.6.0_1772874734669_0.6880436936606049","host":"s3://npm-registry-packages-npm-production"}},"1.7.0":{"name":"edict-lang","version":"1.7.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.7.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"6141b33480d3bb1c2d9a9a8dbee31dd380817b99","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.7.0.tgz","fileCount":367,"integrity":"sha512-ahgyoR8qpX1Ajsg0EWPh2j5hkhkRqf+EA8p3Ns5BnF8k7dH7TIRF87uPuUw7vCCbA+6wixKe4aCRmmw0ISlcQQ==","signatures":[{"sig":"MEUCIQCPkaPi+f2vKKIkZtZ/0iZphxlonXlq5c2n1gSWzubUpgIgf5jTjhzU32koLIuOaAYfCclA+R0ICA6YLIeNTHTHbt4=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":1012467},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"1a74d5a9de0a51199f22612a980f1033fed960ce","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run build && npm test && npm run validate-examples","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.7.0_1772884922501_0.12048640862777193","host":"s3://npm-registry-packages-npm-production"}},"1.8.0":{"name":"edict-lang","version":"1.8.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.8.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"966f1b0408714972287bd2cb64f4de90af8be769","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.8.0.tgz","fileCount":407,"integrity":"sha512-7bpJKJ0R3Iw2RyIWsMD5V/CBO07sjofpfGIvvQ86XetF5oAA9+qIAqgxkFesKujsB9C2TVcamdf02divYLbPvg==","signatures":[{"sig":"MEUCIH9jKKSiRpcB7NyEqLR1SHsT97R+EpHu9Ol3FMezu9PTAiEAuCeCLvX6nh4dfJC4BSG55rR4vj4rltHUQnUpCPPzl/w=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":1090332},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"312b428fa03ded3ac3ac7bf5b8555ccbd54ab3ae","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","test:coverage":"vitest run --coverage","generate-schema":"tsx scripts/generate-schema.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.8.0_1773019145145_0.0992273269435433","host":"s3://npm-registry-packages-npm-production"}},"1.9.0":{"name":"edict-lang","version":"1.9.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.9.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"933245c9380923125bb8ff5d0175db7962b0b6a6","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.9.0.tgz","fileCount":467,"integrity":"sha512-4MNE03DmsgOxtF1y2e+bxDjUv4Q08CvCt/Ul8PsfsEejRQnZEGuT9U3bdnv6tGNAAtDDn98bSfYL0I8EYGJzdw==","signatures":[{"sig":"MEQCIHwcXL1G2jRWzyJ23nz62dgP2HljXq9cT/xjFPn82Kd6AiAvCJlFnb2MFXxahqQ8wgJdXaB0iroQCUTQtBuEFZfiwA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":1404999},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"01ec6474cc5ae3c7bf74fae3131ffd663733df82","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.9.0_1773228121963_0.6140197552806783","host":"s3://npm-registry-packages-npm-production"}},"1.9.1":{"name":"edict-lang","version":"1.9.1","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.9.1","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"221eeace4ce47c800da00eb98591c4d21fdb7603","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.9.1.tgz","fileCount":467,"integrity":"sha512-sHxjzwnNeXULKrCYHQmmmTzBTXk0wjAfiahFwtU2U7qPJwnXJF3HCINpJZlJmWir3NjlI5OFy6+pDyP5cf7ehg==","signatures":[{"sig":"MEQCIBORzWVcFWmKvTR8U2b7Eo9A4hBXOLoACPxpsu2lwnKNAiBbGJHSjiX3q7fGFYfgFEjWAcYexapuJ0gW/O5XoLOD9w==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":1405039},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"22817f1e290ba5cfba72c5abaaad6d2cfe1c9140","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.9.1_1773230589422_0.5688864814117198","host":"s3://npm-registry-packages-npm-production"}},"1.9.2":{"name":"edict-lang","version":"1.9.2","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.9.2","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"d80417fb76e82bf30337b177599ed65962ec5c65","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.9.2.tgz","fileCount":467,"integrity":"sha512-2Zd52WOU3gHmb+BGBlkbfZKYSIKdjksW4EggEjyEKDD88eJRVbzvM5gmUH4HzZyD6nIX5jWS+IZy7I1oyhNf+A==","signatures":[{"sig":"MEUCIC2mPJlsWxfJ3fnihfmRrJQlT1lPd/ASzNl8dmDD8VzlAiEAyMIOBkCpC2tBzs/bi16B3vrOZOvq/Uoxf8/rp9gHI8A=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":1405039},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"}},"gitHead":"aa3ae3158994a5b0563f888964447f442876508b","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && tsc","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.9.2_1773234227370_0.14922208005292625","host":"s3://npm-registry-packages-npm-production"}},"1.10.1":{"name":"edict-lang","version":"1.10.1","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.10.1","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"27e4126a67b4db2ad2cef6d9e4d340924018245d","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.10.1.tgz","fileCount":499,"integrity":"sha512-pvVYzE6rLzfjEb+tE3HNhvwl51Lt92EVc84pcHMAwN4uw+9GcG3qjOvpiWQZI0InF/pDirk0PYivFr3DH8O61Q==","signatures":[{"sig":"MEUCIGYuIGXW5giF09i6YbtgGsrVQXAcm8/bcGCn8FUtpGAiAiEAnSwsAXjPl8+ddtpf8lOlSnYVNpimsVFw57Bl9P4TxEY=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":2755999},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"77e5bb11a05626839a2a2b99c53a30bfc9556be2","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","build:browser":"tsx scripts/build-browser.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.10.1_1773242370676_0.8673061685138819","host":"s3://npm-registry-packages-npm-production"}},"1.11.0":{"name":"edict-lang","version":"1.11.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.11.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"b9231704926e4c5a29cd505035fd15c4fbade7e8","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.11.0.tgz","fileCount":511,"integrity":"sha512-Jkv1J8n/wpMcsks9gpxbJgJ3svEfG+Y2Q30hpxMVZICrd/3c/4waXp27PIBpYAVQA+1+LeQ7RAXmxsRu67y1mg==","signatures":[{"sig":"MEQCIFvRTlNLcv7Y94YWGxIn5W9IUZQ/WVhCHednW19pzlK3AiAPSeTkE1M6+qTk+jTtdRgpksS7mdkW6sFZZZWvysA0SQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":81675307},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"aaa4fdfe2c619e4a298ba24f0d752eb4ff6dd763","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","build:browser":"tsx scripts/build-browser.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language designed for AI agents. No parser, no syntax — agents produce AST directly as JSON. Statically typed, effect-tracked, contract-verified, compiled to WASM.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.11.0_1773321070539_0.7051609757910469","host":"s3://npm-registry-packages-npm-production"}},"1.12.0":{"name":"edict-lang","version":"1.12.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.12.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"5fa881c85982f214fb1adfc92bc2b99aee1442ac","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.12.0.tgz","fileCount":556,"integrity":"sha512-DG+ztMHAmQB/hBq7BRuJExaYXVYN+5KdVh2Q4r8d0pZSFjzbjrYS+cwcQKKQx7UJJqub3sxYW1742ujCCzjvvA==","signatures":[{"sig":"MEUCIFr84YI3NVLhQuZUtIUCEtRAw1u6jQIrXhC5O/nn4MuCAiEA83iabVugmB1+XFgDa949MMDj8Iei6BVhkBs+zp3mkww=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":81931343},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"b50c8e3b0d44454968188abb3cb6c9d5780344a2","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","build:browser":"tsx scripts/build-browser.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.12.0_1773392192628_0.5382029367254271","host":"s3://npm-registry-packages-npm-production"}},"1.13.0":{"name":"edict-lang","version":"1.13.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.13.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"d20214f87d2db0ddba255a55afe5f6fc9333afa2","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.13.0.tgz","fileCount":556,"integrity":"sha512-ZMiwlBobn/dscIidaOO/1+wP75X0Zt4LMaaHaFFeYitnP8htycbQWjiTSRiMDXEy5R15rgAc+WYqaLws8k0O5Q==","signatures":[{"sig":"MEUCIG/3QZlXLCVO4rD90AYQfPBiwRMobQZjr72kh6q2pONxAiEAoGNIb0zfJKdbNPcau1gQqu4FYvg/piGgboFDrpB9r7M=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":81946434},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"4329172eac6eb860dc160ed706e7550936840697","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","build:browser":"tsx scripts/build-browser.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.1","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.13.0_1773414885916_0.1486132211836948","host":"s3://npm-registry-packages-npm-production"}},"1.13.1":{"name":"edict-lang","version":"1.13.1","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.13.1","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"9104bb2910185a620096c53945e61292fb47edbf","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.13.1.tgz","fileCount":627,"integrity":"sha512-paQh4sj5dXhdxpECh7vP3+ipCKReqb03Mk4b5JS1iBje0ua7geE2rSJ5R9DBTQCEIGP2rscuPbHyGnfEeCOhBw==","signatures":[{"sig":"MEUCIQD7L0IkfMIhtbqvBWhGJ3hb9HD1wO4RPOLbaNUYzjPCSAIgfEwse9MrqNP9MqUKzcLXJF64XlO2A1GyYsWlMiqfMv0=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82325283},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"a027ddb7bf159cc44a141ae016ddc81cf9f705e8","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","build:browser":"tsx scripts/build-browser.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.13.1_1773416084759_0.1384665311533788","host":"s3://npm-registry-packages-npm-production"}},"1.15.0":{"name":"edict-lang","version":"1.15.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.15.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"b72c11e83e3b1b9aea22105447a3fa6fa52e442b","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.15.0.tgz","fileCount":627,"integrity":"sha512-knXVA5lZ6OxhgzsBqgxxPjQEhClUFvq2qZbTuHTVIUwphE7G9jt/kIZdclGwUIO6zQcrMkORg5oi2SUrh2vrjw==","signatures":[{"sig":"MEQCIA2bQvj6yYRZFJtKSeEwce3U//pVuv8z3PXGENBdUVjGAiA2Sl8KfwVrqmhh6iCEbBEClcPvVcB2gXpnktGTUQI2FQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82341808},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"54b8aee2cf7a333b1c763aa139ca56f63cd38dfe","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.1","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.15.0_1773436797318_0.6697799368864215","host":"s3://npm-registry-packages-npm-production"}},"1.16.0":{"name":"edict-lang","version":"1.16.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.16.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"f9e722d14ea077ad531cc3039dd6023d925278ca","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.16.0.tgz","fileCount":635,"integrity":"sha512-VVqUsXlz06z9Yja3PWLHezaQoXu7YjaGEzlS+L1r25cvHzQaKq++/W103WxNKFww66zXHwnK042D1vDXa/faag==","signatures":[{"sig":"MEQCICws2jciiIxe0BsvPUx+fb9JC+aLxyVUDqlKupNx/0D+AiAyZYzG+JSLZp7vGrbkCi0CI0uDYLjPgMKQwVO84YrSAA==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82411036},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"7ac93f8e685f3641c47ef3c4cf2f7c9db5db0b2b","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.1","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.25.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.16.0_1773440729485_0.1182086302348675","host":"s3://npm-registry-packages-npm-production"}},"1.16.1":{"name":"edict-lang","version":"1.16.1","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.16.1","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"ad1eb2735583909dec69783efbc7ef8c0192cb9f","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.16.1.tgz","fileCount":635,"integrity":"sha512-blSG8z0pbWybmz+rqvAg7eyEQ6sja9RUCR4MTDZlEoUysuRBax6xj7+2KYC+KXM/HZhIVgu0lEnHO+uZV8tfkg==","signatures":[{"sig":"MEQCIGMP1TG809Sjfada+6LFd5pHzARG/RPJ/N7Hb1xX/fZjAiBcCOvYBtc0IbvcOUQgaboqnWPga016Lp/YUJP/HrSf/A==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82411053},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"4281f5f514f938930e9bbcedf4cff83ba8e85436","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.1","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.16.1_1773480871580_0.942247371809338","host":"s3://npm-registry-packages-npm-production"}},"1.17.0":{"name":"edict-lang","version":"1.17.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.17.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"a06ab3150735d62cb7a676cc954fb943cf1e51d4","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.17.0.tgz","fileCount":627,"integrity":"sha512-znmVSpKJMS47iEx0rsrAGtqWf00ERzSqo8tIhTWm11SZdPxeg7vYKZjfAinEVwFL5Mt0tnVRXcESQKml3OCFRA==","signatures":[{"sig":"MEUCIF0mL0ScC/EOJTTmi2R3DI5EP4BpK+E7Azu/w9hN7/AyAiEAyxGL0AhcGTifQNWb3GSFvkutWgJRT9K5VB+NdCj/5Ro=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82480213},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"beb2de1f04a12ac29abc21ecd3e346760ed6b466","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.17.0_1773490679153_0.8851726940161073","host":"s3://npm-registry-packages-npm-production"}},"1.18.0":{"name":"edict-lang","version":"1.18.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.18.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"a2330a8c548d343dfb8e5f0ddea0e6a8186fcb65","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.18.0.tgz","fileCount":627,"integrity":"sha512-o+amY1uaadY9bkRTyQDOIJXn7bflLWCN/w9WfIemyF0t68k0ep6XA4OAUs9llhZFIpK/T9o+o/UoFQ7CsIXfvQ==","signatures":[{"sig":"MEUCIQDuwq+ziI5DIY3y9hg6MDbTjbc2viUUmKqW+iWgBFOcXQIgO5Arfvt4PeidYp7d2jnhQShT3mhe5C/f3UxYuYOo078=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82504691},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"668480861d9f3c95cde17c64f17a573bb4d49dd8","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.8.2","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"20.20.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.18.0_1773524811686_0.5243625723824057","host":"s3://npm-registry-packages-npm-production"}},"1.19.0":{"name":"edict-lang","version":"1.19.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.19.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"86c47c3de64ba2465f582835799aef6923631810","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.19.0.tgz","fileCount":627,"integrity":"sha512-WkJGA822fik+1oKlttulXI1dZZOOW9jjZwaGliW16ZYkRy0Zg+mjwRWtubRY/oHsyRBQ7AcwbC6v9SmLhq3PiA==","signatures":[{"sig":"MEYCIQDZmE2Dfz8GJD1a51ynOub2bnHkjCuUmbO6ohhhzDBe/wIhAIwuTe9VWXJrCszLsyG4kK38wCXOoifYHen14f6gsZxO","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82504903},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"e1eac47ece4dda861b50a2d10100adf0e14a92fa","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.9.4","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"22.22.1","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.19.0_1773565544415_0.5866397329437854","host":"s3://npm-registry-packages-npm-production"}},"1.20.0":{"name":"edict-lang","version":"1.20.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast","binaryen"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.20.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"67bec55bb4e0be582214e650da54dba39df5fae9","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.20.0.tgz","fileCount":652,"integrity":"sha512-CR4NtlwcRpnRK2jnAm9jScil0jhb49MyZcxbUs/tEKz0f7R7cAEyqkCoYs4bxAUEEhS8xM6YU0tVUElNYSM6gQ==","signatures":[{"sig":"MEUCIDEpV3FwAq++0YF+xVgxH9b8oAFH0xK5SBwR4Ob9pB1eAiEAjP4bJ8fxdefLwXoJ6UnnvTNDFYA1ui8sGtlRfJj77EU=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":82563260},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"0ba9200fb1f2a86f1068257201e0d02e131a292d","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.9.4","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"22.22.0","dependencies":{"zod":"^4.3.6","binaryen":"^125.0.0","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","miniflare":"^4.20260312.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","quickjs-emscripten":"^0.32.0","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.20.0_1773641597091_0.6878551903368102","host":"s3://npm-registry-packages-npm-production"}},"1.21.0":{"name":"edict-lang","version":"1.21.0","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.21.0","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"a3002c5acfb9f3779ceb713d8ddfbe74ee8c00b8","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.21.0.tgz","fileCount":702,"integrity":"sha512-Wngu5aRjhZyBe4rN7fN1uD5sSfjn5XZe2DN3wKqrca8i+c2bVD12LkAxVHzt43WfdVwkpr1mEmhLu3fNpBhyDw==","signatures":[{"sig":"MEUCIBhFpgmqz4CnvoAxzgehYgNTCXKUwRBasK0q6UDmv8ITAiEAndSWnOJ7xh5T+kcq7r51ETQvRH8t6pV3bWPWtca4gg8=","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":41710951},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./quickjs":{"types":"./dist/quickjs/index.d.ts","import":"./dist/quickjs/index.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"2e007d163a196dd80ebbdb239a052827f197a186","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser && npm run build:quickjs","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.9.4","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"22.22.1","dependencies":{"zod":"^4.3.6","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","miniflare":"^4.20260312.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0","quickjs-emscripten":">=0.32.0"},"peerDependenciesMeta":{"tsx":{"optional":true},"quickjs-emscripten":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.21.0_1773833742071_0.2585787422574888","host":"s3://npm-registry-packages-npm-production"}},"1.22.1":{"name":"edict-lang","version":"1.22.1","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast"],"author":{"name":"Sowiedu"},"license":"MIT","_id":"edict-lang@1.22.1","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"bin":{"edict-lang":"dist/mcp/server.js"},"dist":{"shasum":"7e79aa725d7499fc175d2067c0673ab3a2fd61cb","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.22.1.tgz","fileCount":726,"integrity":"sha512-5TMRswX6W4Ayw1tCQYiEaAtfK55zQk8ZxvA7jOn6PRFYF+WyWFQL9OvDGXxq//Hj02tdcqmsjbQOrLwAQEmtug==","signatures":[{"sig":"MEQCICd0ufCTfte/2c3ijiTyvwjLnmLCmUJ/G1DIDcEcjL75AiAdDHnAM0/rpnawacwgzktbsHEfHohoND4MVSltp4iUmQ==","keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U"}],"unpackedSize":42167720},"main":"dist/index.js","type":"module","types":"dist/index.d.ts","engines":{"node":">=20.0.0"},"exports":{".":{"types":"./dist/index.d.ts","import":"./dist/index.js","require":"./cjs-error.cjs"},"./browser":{"types":"./dist/browser.d.ts","import":"./dist/browser.js","require":"./cjs-error.cjs"},"./quickjs":{"types":"./dist/quickjs/index.d.ts","import":"./dist/quickjs/index.js","require":"./cjs-error.cjs"},"./browser-full":{"types":"./dist/browser-full.d.ts","import":"./dist/browser-full.js","require":"./cjs-error.cjs"}},"funding":{"url":"https://github.com/sponsors/Sowiedu","type":"github"},"gitHead":"5f72715a34978c06fc612feb6bff78e2454d9193","mcpName":"io.github.Sowiedu/edict","scripts":{"mcp":"tsx src/mcp/server.ts","test":"vitest run","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser && npm run build:quickjs","prepare":"git config core.hooksPath .githooks","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","benchmark":"tsx scripts/benchmark.ts","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","test:watch":"vitest","check:jsdoc":"bash scripts/check-jsdoc.sh","diff-schemas":"tsx scripts/diff-schemas.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts","build:browser":"tsx scripts/build-browser.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","test:coverage":"vitest run --coverage","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","sync-server-json":"tsx scripts/sync-server-json.ts","validate-examples":"tsx scripts/validate-examples.ts"},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"repository":{"url":"git+https://github.com/Sowiedu/Edict.git","type":"git"},"_npmVersion":"10.9.4","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","directories":{},"_nodeVersion":"22.22.1","dependencies":{"zod":"^4.3.6","z3-solver":"^4.15.8","@modelcontextprotocol/sdk":"^1.27.1"},"_hasShrinkwrap":false,"devDependencies":{"tsx":"^4.19.0","vitest":"^4.0.18","esbuild":"^0.27.4","miniflare":"^4.20260312.0","fast-check":"^4.5.3","typescript":"^5.7.0","@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","typescript-json-schema":"^0.67.1"},"peerDependencies":{"tsx":">=4.0.0","quickjs-emscripten":">=0.32.0"},"peerDependenciesMeta":{"tsx":{"optional":true},"quickjs-emscripten":{"optional":true}},"_npmOperationalInternal":{"tmp":"tmp/edict-lang_1.22.1_1773999265457_0.21848225966772938","host":"s3://npm-registry-packages-npm-production"}},"1.23.2":{"name":"edict-lang","version":"1.23.2","mcpName":"io.github.Sowiedu/edict","description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","type":"module","bin":{"edict-lang":"dist/mcp/server.js"},"exports":{".":{"import":"./dist/index.js","types":"./dist/index.d.ts","require":"./cjs-error.cjs"},"./browser":{"import":"./dist/browser.js","types":"./dist/browser.d.ts","require":"./cjs-error.cjs"},"./browser-full":{"import":"./dist/browser-full.js","types":"./dist/browser-full.d.ts","require":"./cjs-error.cjs"},"./quickjs":{"import":"./dist/quickjs/index.js","types":"./dist/quickjs/index.d.ts","require":"./cjs-error.cjs"}},"main":"dist/index.js","types":"dist/index.d.ts","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast"],"repository":{"type":"git","url":"git+https://github.com/Sowiedu/Edict.git"},"homepage":"https://github.com/Sowiedu/Edict#readme","bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"author":{"name":"Sowiedu"},"license":"MIT","funding":{"type":"github","url":"https://github.com/sponsors/Sowiedu"},"scripts":{"prepare":"git config core.hooksPath .githooks","build":"npm run generate-schema && npm run sync-server-json && tsc && npm run build:browser && npm run build:quickjs","build:browser":"tsx scripts/build-browser.ts","sync-server-json":"tsx scripts/sync-server-json.ts","test":"vitest run","test:watch":"vitest","test:coverage":"vitest run --coverage","test:fast":"vitest run --exclude tests/mcp/integration.test.ts --exclude tests/mcp/agent-simulation.test.ts --exclude tests/e2e-agent-loop.test.ts --exclude tests/compact/expand.test.ts","test:slow":"vitest run tests/mcp/integration.test.ts tests/mcp/agent-simulation.test.ts tests/e2e-agent-loop.test.ts tests/compact/expand.test.ts","typecheck":"tsc --noEmit","validate-examples":"tsx scripts/validate-examples.ts","ci:local":"npm run typecheck && npm run check:jsdoc && npm run build && npm test && npm run validate-examples","check:jsdoc":"bash scripts/check-jsdoc.sh","generate:jsdoc":"tsx scripts/generate-jsdoc.ts","generate-schema":"tsx scripts/generate-schema.ts","snapshot-schema":"tsx scripts/snapshot-schema.ts","diff-schemas":"tsx scripts/diff-schemas.ts","mcp":"tsx src/mcp/server.ts","benchmark":"tsx scripts/benchmark.ts","build:quickjs":"tsx scripts/build-quickjs-bundle.ts","quickjs:test":"tsx scripts/quickjs-feasibility.ts"},"devDependencies":{"@types/express":"^5.0.6","@vitest/coverage-v8":"^4.0.18","esbuild":"^0.28.0","fast-check":"^4.5.3","miniflare":"^4.20260312.0","quickjs-emscripten":"^0.32.0","tsx":"^4.19.0","typescript":"^6.0.2","typescript-json-schema":"^0.67.1","vitest":"^4.0.18"},"engines":{"node":">=20.0.0"},"peerDependencies":{"quickjs-emscripten":">=0.32.0","tsx":">=4.0.0"},"peerDependenciesMeta":{"tsx":{"optional":true},"quickjs-emscripten":{"optional":true}},"dependencies":{"@modelcontextprotocol/sdk":"^1.27.1","z3-solver":"^4.15.8","zod":"^4.3.6"},"_id":"edict-lang@1.23.2","gitHead":"43574b8202980fb013956f422ca475dc210ed60f","_nodeVersion":"22.22.2","_npmVersion":"10.9.7","dist":{"integrity":"sha512-HblEVlbf6EJxwqLTWSmSSUS9Ku6+Xjl4Tu2iPgwu8EK9gA4dbUTAfPkiGHWJNZFyQFHKpOj7pAFGvcTvAKKI5Q==","shasum":"6259d6488ba30c4f0cc1709576d2073ee42ec723","tarball":"https://registry.npmjs.org/edict-lang/-/edict-lang-1.23.2.tgz","fileCount":730,"unpackedSize":42244975,"signatures":[{"keyid":"SHA256:DhQ8wR5APBvFHLF/+Tc+AYvPOdTpcIDqOhxsBHRwC7U","sig":"MEYCIQCGq6nFtonsi+QTai+M/LJ6PAJcP78vNpagsb3UEbeL9AIhAJJHZnNkh3TB6hr7m7JhNqmobMXaULRNTrlbODZdX1QQ"}]},"_npmUser":{"name":"sowiedu","email":"patrick@fampro.online"},"directories":{},"maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"_npmOperationalInternal":{"host":"s3://npm-registry-packages-npm-production","tmp":"tmp/edict-lang_1.23.2_1776263953318_0.40805831900004996"},"_hasShrinkwrap":false}},"time":{"created":"2026-03-04T08:49:28.435Z","modified":"2026-04-15T14:39:13.886Z","0.1.0":"2026-03-04T08:49:28.760Z","1.0.0":"2026-03-04T09:42:41.258Z","1.1.0":"2026-03-04T12:35:45.403Z","1.2.0":"2026-03-04T17:37:35.484Z","1.5.0":"2026-03-06T22:54:40.138Z","1.6.0":"2026-03-07T09:12:14.878Z","1.7.0":"2026-03-07T12:02:02.718Z","1.8.0":"2026-03-09T01:19:05.306Z","1.9.0":"2026-03-11T11:22:02.185Z","1.9.1":"2026-03-11T12:03:09.577Z","1.9.2":"2026-03-11T13:03:47.565Z","1.10.1":"2026-03-11T15:19:30.944Z","1.11.0":"2026-03-12T13:11:11.298Z","1.12.0":"2026-03-13T08:56:33.158Z","1.13.0":"2026-03-13T15:14:46.479Z","1.13.1":"2026-03-13T15:34:46.692Z","1.15.0":"2026-03-13T21:19:57.898Z","1.16.0":"2026-03-13T22:25:29.994Z","1.16.1":"2026-03-14T09:34:32.137Z","1.17.0":"2026-03-14T12:17:59.730Z","1.18.0":"2026-03-14T21:46:52.197Z","1.19.0":"2026-03-15T09:05:44.939Z","1.20.0":"2026-03-16T06:13:17.586Z","1.21.0":"2026-03-18T11:35:42.458Z","1.22.1":"2026-03-20T09:34:25.915Z","1.23.2":"2026-04-15T14:39:13.743Z"},"bugs":{"url":"https://github.com/Sowiedu/Edict/issues"},"author":{"name":"Sowiedu"},"license":"MIT","homepage":"https://github.com/Sowiedu/Edict#readme","keywords":["programming-language","ai-agents","compiler","webassembly","wasm","mcp","model-context-protocol","formal-verification","type-system","effect-system","json-ast","llm","z3","smt","contract-verification","ast"],"repository":{"type":"git","url":"git+https://github.com/Sowiedu/Edict.git"},"description":"Edict — A programming language for AI agents. JSON AST in, WASM out. MCP server included. Statically typed, effect-tracked, contract-verified.","maintainers":[{"name":"sowiedu","email":"patrick@fampro.online"}],"readme":"# Edict\n\n[![CI](https://github.com/Sowiedu/Edict/actions/workflows/ci.yml/badge.svg)](https://github.com/Sowiedu/Edict/actions/workflows/ci.yml)\n[![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](LICENSE)\n[![Node.js](https://img.shields.io/badge/Node.js-%E2%89%A520-339933?logo=node.js)](https://nodejs.org)\n[![MCP](https://img.shields.io/badge/MCP-Compatible-8A2BE2)](https://modelcontextprotocol.io/)\n\n<a href=\"https://glama.ai/mcp/servers/Sowiedu/Edict\"><img width=\"380\" height=\"200\" src=\"https://glama.ai/mcp/servers/Sowiedu/Edict/badge\" /></a>\n\n**A programming language designed for AI agents.** No parser. No syntax. Agents produce AST directly as JSON.\n\nEdict 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.\n\n```\nAgent (LLM)\n  │  produces JSON AST via MCP tool call\n  ↓\nSchema Validator ─── invalid? → StructuredError → Agent retries\n  ↓\nName Resolver ────── undefined? → StructuredError + candidates → Agent retries\n  ↓\nType Checker ─────── mismatch? → StructuredError + expected type → Agent retries\n  ↓\nEffect Checker ───── violation? → StructuredError + propagation chain → Agent retries\n  ↓\nContract Verifier ── unproven? → StructuredError + counterexample → Agent retries\n  (Z3/SMT)            ↓\n                  Code Generator (pure-JS WASM encoder) → WASM → Execute\n```\n\n## Features\n\n- **JSON AST** — Programs are JSON objects, not text files. No lexer, no parser.\n- **Structured errors** — Every error is a typed JSON object with enough context for an agent to self-repair.\n- **Type system** — `Int`, `Float`, `String`, `Bool`, `Array<T>`, `Option<T>`, `Result<T,E>`, records, enums, refinement types.\n- **Effect tracking** — Functions declare `pure`, `reads`, `writes`, `io`, `fails`. The compiler verifies consistency.\n- **Contract verification** — Pre/post conditions verified at compile time by Z3 (via SMT). Failing contracts return concrete counterexamples.\n- **WASM compilation** — Verified programs compile to WebAssembly via a pure-JS encoder and run in Node.js.\n- **MCP interface** — All tools exposed via [Model Context Protocol](https://modelcontextprotocol.io/) for direct agent integration.\n- **Schema migration** — ASTs from older schema versions are auto-migrated. No breakage when the language evolves.\n\n## Execution Model\n\nEdict compiles to **WebAssembly** and runs in a sandboxed VM. This is a deliberate security decision — not a limitation:\n\n- **No ambient authority** — compiled WASM cannot access the filesystem, network, or OS unless the host explicitly provides those capabilities via the pluggable `EdictHostAdapter` interface\n- **Compile-time capability declaration** — the effect system (`io`, `reads`, `writes`, `fails`) lets the host inspect what a program requires _before_ running it\n- **Runtime enforcement** — `RunLimits` controls execution timeout, memory ceiling, and filesystem sandboxing\n- **Defense-in-depth** — agent-generated code that runs immediately needs stronger isolation than human-reviewed code. The effect system + WASM sandbox + host adapter pattern provides exactly that\n\nHost capabilities available through adapters: filesystem (sandboxed), HTTP, crypto (SHA-256, MD5, HMAC), environment variables, CLI arguments. New capabilities are added by extending `EdictHostAdapter`.\n\n## Quick Start\n\n### For AI Agents (MCP)\n\nThe fastest way to use Edict is through the **MCP server** — it exposes the entire compiler pipeline as tool calls:\n\n```bash\nnpx edict-lang          # start MCP server (stdio transport, no install needed)\n```\n\nOr install locally:\n\n```bash\nnpm install edict-lang\nnpx edict-lang          # start MCP server\n```\n\n**Two calls to get started**: `edict_schema` (learn the AST format) → `edict_check` (submit a program). See [MCP Tools](#mcp-tools) for the full tool list.\n\n### For Development\n\n```bash\nnpm install\nnpm test          # 2675 tests across 136 files\nnpm run mcp       # start MCP server (stdio transport)\n```\n\n## Docker\n\nRun the Edict MCP server in a container — no local Node.js required:\n\n```bash\n# stdio transport (default — for local MCP clients)\ndocker run -i ghcr.io/sowiedu/edict\n\n# HTTP transport (for remote/networked MCP clients)\ndocker run -p 3000:3000 -e EDICT_TRANSPORT=http ghcr.io/sowiedu/edict\n```\n\nSupported platforms: `linux/amd64`, `linux/arm64`.\n\n## Browser\n\nRun the Edict compiler entirely in the browser — no server required:\n\n| Bundle | Size | Phases | Use case |\n|---|---|---|---|\n| `edict-lang/browser` | 318 KB | 1–3 (validate, resolve, typecheck, effects, lint, patch) | Lightweight checking |\n| `edict-lang/browser-full` | ~14 MB | 1–5 (+ WASM codegen, Z3 contracts, WASM execution) | Full compile & run |\n\n```javascript\nimport { compileBrowser, runBrowserDirect } from 'edict-lang/browser-full';\n\nconst result = compileBrowser(astJson);\nif (result.ok) {\n    const run = await runBrowserDirect(result.wasm);\n    console.log(run.output);  // \"Hello, World!\"\n}\n```\n\n> **Note**: ESM modules require HTTP serving. Use `npx serve .` or any static server — `file://` won't work.\n\nSee [`examples/browser/index.html`](examples/browser/index.html) for a working example.\n\n## QuickJS (Sandboxed Environments)\n\nThe Edict compiler also runs inside [QuickJS](https://bellard.org/quickjs/) WASM — useful for sandboxed runtimes, edge workers, or embedding in other WASM applications:\n\n| Bundle | Size | Phases | Slowdown vs Node.js |\n|---|---|---|---|\n| `dist/edict-quickjs-check.js` | 373 KB | 1–3 (validate, resolve, typecheck, effects) | ~3.7x |\n| `dist/edict-quickjs-full.js` | 932 KB | 1–5 (check + WASM compile) | ~3.7x |\n\n```typescript\nimport { EdictQuickJS } from \"edict-lang/quickjs\";\n\nconst edict = await EdictQuickJS.createFull();  // phases 1-5\nconst result = edict.compile(ast);\nif (result.ok) {\n    console.log(result.wasm);  // Uint8Array of valid WASM\n}\nedict.dispose();\n```\n\n> **Note**: `quickjs-emscripten` is an optional peer dependency — install it alongside `edict-lang` to use `EdictQuickJS`. For fs-free environments, pass `bundleSource` directly instead of loading from disk.\n\nSee [docs/quickjs-feasibility-report.md](docs/quickjs-feasibility-report.md) for full benchmarks and recommendations.\n\n## MCP Tools\n\n| Tool | Description |\n|---|---|\n| `edict_schema` | Returns the full AST JSON Schema — the spec for how to write programs |\n| `edict_version` | Returns compiler version and capability info |\n| `edict_examples` | Returns 41 example programs as JSON ASTs (includes schema snippet) |\n| `edict_validate` | Validates AST structure (field names, types, node kinds) |\n| `edict_check` | Full pipeline: validate → resolve names → type check → effect check → verify contracts |\n| `edict_compile` | Compiles a checked AST to WASM (returns base64-encoded binary) |\n| `edict_run` | Executes a compiled WASM binary, returns output and exit code |\n| `edict_patch` | Applies targeted AST patches by nodeId and re-checks |\n| `edict_errors` | Returns machine-readable catalog of all error types |\n| `edict_lint` | Runs non-blocking quality analysis and returns warnings |\n| `edict_debug` | Execution tracing and crash diagnostics |\n| `edict_compose` | Combines composable program fragments into a module |\n| `edict_explain` | Explains AST nodes, errors, or compiler behavior |\n| `edict_export` | Packages a program as a UASF portable skill |\n| `edict_import_skill` | Imports and executes a UASF skill package |\n| `edict_generate_tests` | Generates tests from Z3-verified contracts |\n| `edict_replay` | Records and replays deterministic execution traces |\n| `edict_deploy` | Compiles and deploys an Edict program to edge runtimes (Cloudflare Workers) |\n| `edict_invoke` | Invokes a deployed Edict WASM service via HTTP |\n| `edict_invoke_skill` | Invokes a UASF skill package directly |\n| `edict_package` | Packages a compiled program as a deployable skill bundle |\n| `edict_support` | Returns diagnostics and environment info for troubleshooting |\n\n### MCP Resources\n\n| URI | Description |\n|---|---|\n| `edict://schema` | The full AST JSON Schema |\n| `edict://schema/minimal` | Minimal schema variant for token-efficient bootstrap |\n| `edict://examples` | All example programs |\n| `edict://errors` | Machine-readable error catalog |\n| `edict://schema/patch` | JSON Schema for the AST patch protocol |\n| `edict://guide` | Agent bootstrap guide for MCP-first onboarding |\n| `edict://support` | Diagnostics and environment info |\n\n## Example Program\n\nA \"Hello, World!\" in Edict's JSON AST:\n\n```json\n{\n  \"kind\": \"module\",\n  \"id\": \"mod-hello-001\",\n  \"name\": \"hello\",\n  \"imports\": [],\n  \"definitions\": [\n    {\n      \"kind\": \"fn\",\n      \"id\": \"fn-main-001\",\n      \"name\": \"main\",\n      \"params\": [],\n      \"effects\": [\"io\"],\n      \"returnType\": { \"kind\": \"basic\", \"name\": \"Int\" },\n      \"contracts\": [],\n      \"body\": [\n        {\n          \"kind\": \"call\",\n          \"id\": \"call-print-001\",\n          \"fn\": { \"kind\": \"ident\", \"id\": \"ident-print-001\", \"name\": \"print\" },\n          \"args\": [\n            { \"kind\": \"literal\", \"id\": \"lit-msg-001\", \"value\": \"Hello, World!\" }\n          ]\n        },\n        { \"kind\": \"literal\", \"id\": \"lit-ret-001\", \"value\": 0 }\n      ]\n    }\n  ]\n}\n```\n\n## The Agent Loop\n\nThe core design: an agent submits an AST → the compiler validates it → if wrong, returns a `StructuredError` with enough context for the agent to self-repair → the agent fixes it → resubmits.\n\n```typescript\n// 1. Agent reads the schema to learn the AST format\nconst schema = edict_schema();\n\n// 2. Agent writes a program (may contain errors)\nconst program = agentWritesProgram(schema);\n\n// 3. Compile — returns structured errors or WASM\nconst result = edict_compile(program);\n\nif (!result.ok) {\n  // 4. Agent reads errors and fixes the program\n  //    Errors include: nodeId, expected type, candidates, counterexamples\n  const fixed = agentFixesProgram(program, result.errors);\n  // 5. Resubmit\n  return edict_compile(fixed);\n}\n\n// 6. Run the WASM\nconst output = edict_run(result.wasm);\n```\n\n## Architecture\n\n```\nsrc/\n├── ast/           # TypeScript interfaces for every AST node\n├── validator/     # Schema validation (structural correctness)\n├── resolver/      # Name resolution (scope-aware, with Levenshtein suggestions)\n├── checker/       # Type checking (bidirectional, with unit types)\n├── effects/       # Effect checking (call-graph propagation)\n├── contracts/     # Contract verification (Z3/SMT integration)\n├── codegen/       # WASM code generation (pure-JS encoder)\n│   ├── codegen.ts       # IR → WASM module orchestration\n│   ├── compile-ir-expr.ts  # IR expression compilation\n│   ├── compile-ir-*.ts  # Specialized IR compilers (calls, data, match, scalars)\n│   ├── runner.ts        # WASM execution (Node.js WebAssembly API)\n│   ├── host-adapter.ts  # EdictHostAdapter interface + platform adapters\n│   ├── closures.ts      # Closure capture and compilation\n│   ├── hof-generators.ts # Higher-order function WASM generators\n│   ├── wasm-encoder.ts  # Pure-JS WASM binary encoder (replaced binaryen)\n│   ├── wasm-interpreter.ts # Pure-JS WASM interpreter (no WebAssembly API needed)\n│   ├── recording-adapter.ts # Execution recording for replay\n│   ├── replay-adapter.ts  # Deterministic replay from recorded traces\n│   └── string-table.ts  # String interning for WASM memory\n├── ir/            # Mid-level IR (lowering, optimization)\n├── builtins/      # Builtin registry and domain-specific builtins\n├── compact/       # Compact AST format (token-efficient for agents)\n├── compose/       # Composable program fragments\n├── deploy/        # Edge deployment scaffolding (Cloudflare Workers)\n├── incremental/   # Incremental checking (dependency graph + diff)\n├── lint/          # Non-blocking quality warnings\n├── patch/         # Surgical AST patching by nodeId\n├── migration/     # Schema version migration (auto-upgrade older ASTs)\n├── skills/        # Skill packaging and invocation\n├── mcp/           # MCP server (tools + resources + prompts)\n└── errors/        # Structured error types\n\ntests/             # 2675 tests across 136 files\nexamples/          # 41 example programs (⭐→⭐⭐⭐ difficulty in README)\nschema/            # Auto-generated JSON Schema\n```\n\n## Type System\n\n| Type | Example |\n|---|---|\n| Basic | `Int`, `Int64`, `Float`, `String`, `Bool` |\n| Array | `Array<Int>` |\n| Option | `Option<String>` |\n| Result | `Result<String, String>` |\n| Record | `Point { x: Float, y: Float }` |\n| Enum | `Shape = Circle { radius: Float } \\| Rectangle { w: Float, h: Float }` |\n| Refinement | `{ i: Int \\| i > 0 }` — predicates verified by Z3 |\n| Function | `(Int, Int) -> Int` |\n\n## Effect System\n\nFunctions declare their effects. The compiler enforces:\n\n- A `pure` function cannot call an `io` function\n- Effects propagate through the call graph\n- Missing effects are detected and reported\n\nEffects: `pure`, `reads`, `writes`, `io`, `fails`\n\n## Contract Verification\n\nPre/post conditions are verified at compile time using Z3:\n\n```json\n{\n  \"kind\": \"post\",\n  \"id\": \"post-001\",\n  \"condition\": {\n    \"kind\": \"binop\", \"id\": \"binop-001\", \"op\": \">\",\n    \"left\": { \"kind\": \"ident\", \"id\": \"ident-result-001\", \"name\": \"result\" },\n    \"right\": { \"kind\": \"ident\", \"id\": \"ident-x-001\", \"name\": \"x\" }\n  }\n}\n```\n\nZ3 either proves `unsat` (contract holds ✅) or returns `sat` with a concrete counterexample the agent can reason about.\n\n## Contributing\n\nWe welcome contributions from agents and humans alike. See [CONTRIBUTING.md](CONTRIBUTING.md) for setup instructions, coding standards, and the PR workflow.\n\n**Looking for a place to start?** Check issues labeled [`good first issue`](https://github.com/Sowiedu/Edict/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22).\n\n## Roadmap\n\nSee [ROADMAP.md](ROADMAP.md) for the full development plan, [FEATURE_SPEC.md](FEATURE_SPEC.md) for the language specification, and [Crystallized Intelligence](docs/crystallized-intelligence.md) for how agents store and reuse verified WASM skills.\n\n## Support\n\nEdict is free and open source under the MIT license. If your agents find it valuable, consider [sponsoring its development](https://github.com/sponsors/Sowiedu).\n\n## License\n\n[MIT](LICENSE)\n","readmeFilename":"README.md"}