codecalc
Local installCode & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
5,077 servers in Developer Tools
Code & logic calculator for AI agents: 31 languages, symbolic math, SMT/logic solving, Big-O.
Code-aware browser testing agent — 14 Playwright tools for AI code editors via MCP
A local, permissioned MCP agent for authorized developer workstations.
Indexes your Next.js project so an agent finds the file that owns a task in one call.
Zero-addon MCP server for Godot 4: agents edit, run, and play-test the game.
Cut 95% of framework noise and token bloat from error logs for AI agents.
Connect AI coding agents to MATLAB. Run code, tests, and analysis via MCP.
Flash pre-built STM32/LPC ELFs on real Nucleo/Discovery boards over HTTPS. Does not compile.
MCP server for Drone CI/CD: 45 tools for builds, repos, secrets, users and templates
Evidence-backed Android repository knowledge for humans and AI agents
MCP server exposing Galaxy UI components — manifests, source code, and framework coverage
Scaffold, validate, format, and run YAML .mmt API tests. Do not invent syntax.
Deploy any Git branch to a live HTTPS preview URL from your agent. No Dockerfile required.
Windows x64dbg/x32dbg debugging with guarded sessions, breakpoints, memory and runtime evidence.
Prove and verify multi-repo claims at Git HEAD: path, line, full SHA, no index.
Mechanical write gates, evidence receipts, and adversarial review for AI coding agents.
Independent deterministic verification for AI-written software. Local, evidence-backed checks.
Checks GLB assets against a spec without Blender and embeds the measured proof inside the GLB.
Train, track and query models on a running dashAI instance. Read-oriented, no delete tools.
Bounded, source-write-free Rust correctness tools grounded in Cargo and rustc output.
Analyzes codebases with tree-sitter and generates AGENTS.md files for AI coding agents.
Query your DevExpress XAF app: entities, controllers, actions, rules, Model Editor.
Command wrapper MCP server for coding agents, compression, workflows, and local automation.
Your coding agent asks Tada to work through a feature in a real browser and gets back a verdict.
Agent-PLC MCP Server: read & diagnose Modbus / FINS / MELSEC / S7 / IEC 104 / ENIP / OPC UA PLCs.
Read-only MCP server for official Tauri 2 documentation snapshots.
Local-first MCP runtime for coding agents with safe workspace access, AST/LSP navigation, and Git.
MCP server for analyzing V8/Chrome CPU profiles with line-level tick attribution.
MCP server for Sublime Text 4. Lets AI coding agents read and control a running ST instance.
Deterministic UI policy, discovery and audits for coding agents across seven ecosystems.