io.github.The-40-Thieves/codecalcai

codecalc

Verified · 12 days ago

Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.

Install

claude mcp add codecalc -- uvx codecalc

Our take

A general-purpose computation server that mixes code execution, symbolic math, logic solving, and complexity-related tooling across many languages. It is for technical agent workflows that need more than a plain calculator, especially coding or formal-reasoning tasks. The scope is ambitious for a small project, so it reads as experimental rather than mature and likely needs careful validation before relying on it in production.

reviewed by hand · 2026-08-21

Something wrong or dead here? Report it

Verification record

last verified
12 days ago
github stars
3
last commit
12 days ago
archived
no
license
Apache-2.0
in registry since
2026-08-20

github.com/The-40-Thieves/codecalc

claude-flowai

claude-flow

Verified · 17 days ago

AI orchestration with hive-mind swarms, neural networks, and 87 MCP tools for enterprise dev.

hand-reviewed73k stars19k dl/wkchecked 17 days ago

tldrawai

tldraw

Verified · 18 days ago

Draw and visually collaborate with your agents on tldraw's canvas.

hand-reviewed50k starschecked 18 days ago

codebase-memory-mcpai

Codebase Memory

Verified · 8 days ago

Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.

hand-reviewed45k stars12k dl/wkchecked 8 days ago

openmetadata-mcpai

OpenMetadata

Verified · today

Official OpenMetadata MCP: 21 read and write tools for search, lineage, data quality, governance.

hand-reviewed15k starschecked today

mobilerunai

mobilerun

Verified · 20 days ago

Control real Android and iOS devices with LLM agents — tap, swipe, type, automate flows.

hand-reviewed9.4k starschecked 20 days ago

praisonaiai

PraisonAI

Verified · 7 days ago

AI Agents Framework with Self Reflection and MCP support

hand-reviewed9.1k starschecked 7 days ago