Awesome/awesome-mcp-servers
1
0
Fork 0
mirror of https://github.com/punkpeye/awesome-mcp-servers.git synced 2026-09-10 09:41:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #12535 from suavecito585/add-codecalc

Browse Source 
Add The-40-Thieves/codecalc to Code Execution 🤖🤖🤖
This commit is contained in:
Frank Fiegel
2026-09-07 01:42:57 -06:00
committed by GitHub
parent 3953d8ad73 cc0baf02e4
commit d8d370a0a6
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
README.md
+1
View File
@@ -648,6 +648,7 @@ Code execution servers. Allow LLMs to execute code in a secure environment, e.g.
- [SebastianGilPinzon/colab-mcp](https://github.com/SebastianGilPinzon/colab-mcp) [![SebastianGilPinzon/colab-mcp MCP server](https://glama.ai/mcp/servers/SebastianGilPinzon/colab-mcp/badges/score.svg)](https://glama.ai/mcp/servers/SebastianGilPinzon/colab-mcp) 🐍 🏠 🍎 🪟 🐧 - Control Google Colab notebooks and assign GPUs (T4/L4/A100) from any AI agent. Enhanced fork of Google's colab-mcp with all tools visible at startup, OAuth GPU control, and Windows support. - [SebastianGilPinzon/colab-mcp](https://github.com/SebastianGilPinzon/colab-mcp) [![SebastianGilPinzon/colab-mcp MCP server](https://glama.ai/mcp/servers/SebastianGilPinzon/colab-mcp/badges/score.svg)](https://glama.ai/mcp/servers/SebastianGilPinzon/colab-mcp) 🐍 🏠 🍎 🪟 🐧 - Control Google Colab notebooks and assign GPUs (T4/L4/A100) from any AI agent. Enhanced fork of Google's colab-mcp with all tools visible at startup, OAuth GPU control, and Windows support.
- [Sowiedu/Edict](https://github.com/Sowiedu/Edict) [![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. - [Sowiedu/Edict](https://github.com/Sowiedu/Edict) [![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.
- [telleroutlook/agentkit-js/mcp-server](https://github.com/telleroutlook/agentkit-js/tree/main/packages/mcp-server) [![telleroutlook/agentkit-js MCP server](https://glama.ai/mcp/servers/telleroutlook/agentkit-js/badges/score.svg)](https://glama.ai/mcp/servers/telleroutlook/agentkit-js) 📇 ☁️ 🏠 🐧 🍎 🪟 – Code-mode MCP server: collapses N user-defined tools into a two-tool surface (`execute_code` + `docs_search`). Backed by a unified capability manifest (`allowedHosts` / `cpuMs` / `memoryLimitBytes`) honoured across three sandbox kernels — in-process node:vm, WASM (QuickJS / Pyodide / Wasmtime), and remote microVM (E2B / Cloudflare Sandbox). Token-saving benchmark in repo CI. - [telleroutlook/agentkit-js/mcp-server](https://github.com/telleroutlook/agentkit-js/tree/main/packages/mcp-server) [![telleroutlook/agentkit-js MCP server](https://glama.ai/mcp/servers/telleroutlook/agentkit-js/badges/score.svg)](https://glama.ai/mcp/servers/telleroutlook/agentkit-js) 📇 ☁️ 🏠 🐧 🍎 🪟 – Code-mode MCP server: collapses N user-defined tools into a two-tool surface (`execute_code` + `docs_search`). Backed by a unified capability manifest (`allowedHosts` / `cpuMs` / `memoryLimitBytes`) honoured across three sandbox kernels — in-process node:vm, WASM (QuickJS / Pyodide / Wasmtime), and remote microVM (E2B / Cloudflare Sandbox). Token-saving benchmark in repo CI.
- [The-40-Thieves/codecalc](https://github.com/The-40-Thieves/codecalc) [![The-40-Thieves/codecalc MCP server](https://glama.ai/mcp/servers/The-40-Thieves/codecalc/badges/score.svg)](https://glama.ai/mcp/servers/The-40-Thieves/codecalc) 🐍 🏠 🍎 🪟 🐧 - Offline-core code & logic calculator for AI agents — run code in 31 languages, exact symbolic math, SMT/logic, complexity analysis, and cross-language/optimization verification, with an opt-in strict gVisor/AppContainer sandbox for untrusted code.
- [yepcode/mcp-server-js](https://github.com/yepcode/mcp-server-js) 🎖️ 📇 ☁️ - Execute any LLM-generated code in a secure and scalable sandbox environment and create your own MCP tools using JavaScript or Python, with full support for NPM and PyPI packages - [yepcode/mcp-server-js](https://github.com/yepcode/mcp-server-js) 🎖️ 📇 ☁️ - Execute any LLM-generated code in a secure and scalable sandbox environment and create your own MCP tools using JavaScript or Python, with full support for NPM and PyPI packages
### 🤖 <a name="coding-agents"></a>Coding Agents ### 🤖 <a name="coding-agents"></a>Coding Agents