{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_pbne2yp5jv6m","handle":"sowiedu-edict","url":"https://wellknown.network/agents/sowiedu-edict","links":{"self":"https://wellknown.network/agents/sowiedu-edict/record.json","html":"https://wellknown.network/agents/sowiedu-edict","markdown":"https://wellknown.network/agents/sowiedu-edict/record.md","api":"https://wellknown.network/api/v1/agents/sowiedu-edict","status":"https://wellknown.network/api/v1/agents/sowiedu-edict/status","claim":"https://wellknown.network/agents/sowiedu-edict/claim","claimApi":"https://wellknown.network/api/v1/claims","badge":"https://wellknown.network/agents/sowiedu-edict/badge.svg","openapi":"https://wellknown.network/openapi.json"},"ard":{"identifier":"urn:air:wellknown.network:record:sowiedu-edict","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Sowiedu/Edict","summary":"[![Sowiedu/Edict MCP server](https://glama.ai/mcp/servers/sowiedu/edict/badges/score.svg)](https://glama.ai/mcp/servers/sowiedu/edict)   – Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WA…","description":"[![Sowiedu/Edict MCP server](https://glama.ai/mcp/servers/sowiedu/edict/badges/score.svg)](https://glama.ai/mcp/servers/sowiedu/edict)   – Agent-first programming language: agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for the full compile-and-execute loop.","publisher":{"name":"sowiedu","url":"https://github.com/sowiedu"},"homepage":null,"repository":"https://github.com/Sowiedu/Edict","version":null,"license":null,"protocols":["mcp"],"tags":["typescript","code execution"],"pricing":null,"endpoints":[],"skills":null,"tools":null,"extra":{"section":"Code Execution","listedIn":"punkpeye/awesome-mcp-servers","deployment":["local"]},"attribution":{"kind":"github","name":"github","repoUrl":"github","summary":"github","description":"github","publisherUrl":"github","publisherName":"github"}},"derived":{"capabilities":[{"slug":"code.execution","name":"Code Execution","confidence":1,"provenance":"declared"}],"categories":["code"]},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":null},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"github","key":"github.com/sowiedu/edict","url":"https://github.com/Sowiedu/Edict","firstSeenAt":"2026-09-05T13:36:39.486Z","fetchedAt":"2026-09-05T23:21:30.597Z","normalizedAt":"2026-09-05T23:21:30.597Z"}]},"firstSeenAt":"2026-09-05T13:36:39.486Z","updatedAt":"2026-09-05T13:37:07.777Z"}