Related Servers

No user-submitted related servers found.

Related Servers

• CSL-Core

  Chimera-Protocol

  A

  license

  A

  quality

  B

  maintenance

  Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.

  Updated 3 months ago (2026-05-31 13:01 UTC)

  6

  16

  Apache 2.0

• Python Sandbox MCP Server

  Ajaja

  F

  license

  -

  quality

  C

  maintenance

  Enables LLMs to execute Python code in a restricted sandbox for calculations and data analysis, without giving them a real shell.

  Updated a month ago (2026-07-21 11:11 UTC)

• mcp-code-mode

  Jame0077

  F

  license

  -

  quality

  C

  maintenance

  Enables safe execution of Python code with AI assistance and integration with Model Context Protocol tools.

  Updated 5 days ago (2026-08-13 05:22 UTC)

  1

• SymPy Sandbox MCP

  Eis4TY

  A

  license

  A

  quality

  C

  maintenance

  A secure mathematical computation sandbox that enables LLMs to perform symbolic math operations like algebra, calculus, and equation solving via SymPy. It features low-latency execution through pre-warmed process pools and provides standardized JSON outputs for reliable agent integration.

  Updated 2 months ago (2026-06-09 04:35 UTC)

  1

  2

  MIT

• Touchstone MCP Server

  savecharlie

  A

  license

  -

  quality

  C

  maintenance

  Provides deterministic, verifiable text/code/measurement utilities for AI agents, enabling tasks like unit conversion, citation formatting, diffing, proofreading, readability scoring, and syntax checking with re-executable proof.

  Updated 2 months ago (2026-06-29 18:55 UTC)

  MIT

• py-sandbox

  LostSyscall

  A

  license

  -

  quality

  C

  maintenance

  Enables AI agents to execute arbitrary Python code securely in a sandboxed environment with resource limits and security constraints via MCP protocol.

  Updated 2 months ago (2026-06-17 14:07 UTC)

  MIT