| Edict | Openapi MCP | |
|---|---|---|
| Description | agents produce JSON AST, the compiler validates, type-checks, effect-checks, verifies contracts via Z3/SMT, and compiles to WASM. 19 MCP tools for ... | OpenAPI-MCP: Dockerized MCP Server to allow your AI agent to access any API with existing api docs. |
| Category | 💻 Code Execution | 💻 Code Execution |
| Language | JavaScript | Go |
| License | MIT | — |
| Stars | 0 | 180 |
| Website | https://github.com/Sowiedu/Edict | https://github.com/ckanthony/openapi-mcp |