Search for a command to run...
3 MCPs · 0 installs total
An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution,
Offline-core code & logic calculator for AI agents — run code in 31 languages, exact symbolic math, SMT/logic, complexity analysis, and cross-language/optimizat
Model-agnostic, agent-ready Obsidian MCP server with RBAC, SLSA provenance, and native search: 163 tools across 31 domains, multi-vault, pluggable embeddings, z
Unyly