What is the codecalc MCP server?
Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
How to install codecalc
Copy-paste configuration for popular MCP clients.
transport: stdio
Config generated by PluginBench — verify against the source before use.Related MCP servers
OB

Obsidian Turbocharged
Active
Governed Obsidian vault access: hybrid retrieval, Markdown-native memory, HITL confirmations.
7
View repository →TypeScript
AGPL-3.0
AL

Alexandria
Active
Search, read, and cite across 152 libraries: 11 tools, 3 prompts, and a full-text resource.
2
View repository →TypeScript
MIT
Tenant-scoped control layer for agent-to-agent systems: governed routing, approvals, evidence.
View repository →College-access writing and financial-aid analysis tools for counselors, students, and families.
AI agent observability for production traces, natural-language insights, and improvement loops.
Connect Claude and Cursor to OpenROAD semiconductor design tools for AI-assisted physical design and RTL-to-GDS flows.
13
View repository →TypeScript
BSD-3-Clause

