slac-mcp
20257MCP server Claude CodeCodexCursor +2
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents. Runs locally from the slac-mcp npm package.
AGENTS.md files, the skills OpenCode loads, and the MCP servers it attaches. 56,958 indexed, measured the same four ways as everything else here.
MCP server Claude CodeCodexCursor +2
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents. Runs locally from the slac-mcp npm package.
MCP server Claude CodeCodexCursor +2
Kanban boards, sprints, tickets and a team wiki, with versioned writes for concurrent agents. Runs locally from the @laver/mcp npm package. Needs 3 environment variables to run.
MCP server Claude CodeCodexCursor +2
Persistent, evidence-backed project knowledge and task context for coding agents. Runs locally from the knowledge-rail npm package.
MCP server Claude CodeCodexCursor +2
All public upAPI operations as MCP tools: web scraping, search, screenshots, PDF, OCR and more. Runs locally from the @upapi/mcp npm package. Needs 2 environment variables to run.
MCP server Claude CodeCodexCursor +2
Structured, sandboxed verification feedback for coding agents. An MCP server that turns raw test/lint output into tiny, typed verdicts with failure fingerprints and history. Runs locally from the verdict-mcp Python package. Needs 1 environment variable to run.
Diego-Costa-Tech/lead-enrichment-mcp
MCP server Claude CodeCodexCursor +2
Remote MCP server to enrich company profiles with structured B2B data and confidence scores. Remote server at lead-enrichment-mcp.agent-infra.workers.dev.
MCP server Claude CodeCodexCursor +2
Servidor MCP que permite ejecutar tests de Godot con GUT desde cualquier IA. Runs locally from the godot-gut-mcp Python package. Needs 2 environment variables to run.
MCP server Claude CodeCodexCursor +2
Evidence-backed x402 web verification for AI agents, with auditable decisions for every condition. Remote server at mcp-x402-production.up.railway.app.
Disane87/weishaupt-wem-mcp-server
MCP server Claude CodeCodexCursor +2
Control and monitor Weishaupt heating systems via the WEM Portal. Runs locally from the @disane-dev/weishaupt-wem-mcp-server npm package. Needs 3 environment variables to run.
MCP server Claude CodeCodexCursor +2
Generate PDFs, screenshots, and documents via any MCP-compatible AI agent. Runs locally from the @docapi/mcp npm package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP adapter server for DECIMER FastAPI image-to-SMILES endpoint. Runs locally from the decimer-mcp-server Python package.
DownAtTheBottomOfTheMoleHole/infracost-mcp
MCP server Claude CodeCodexCursor +2
MCP server "infracost" as configured in DownAtTheBottomOfTheMoleHole/infracost-mcp. Runs ./dist/index.js with node.
MCP server Claude CodeCodexCursor +2
One MCP server for the contract-ops suite: all nine local-first CLIs as agent tools. Runs locally from the contract-ops-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "sign-cli" as configured in DrBaher/sign-cli. Runs /absolute/path/to/sign-cli/dist/cli.js with node. Needs 1 environment variable to run.
Faouzi122/Arsenal-Quant-Project
MCP server Claude CodeCodexCursor +2
Rnet LP risk evaluator for DeFAI agents. IL + Breakeven Corridor O(1). L402 Lightning paywall. Remote server at api.arsenal-quant.com.
Dswane/Sports-Context-Protocol
MCP server Claude CodeCodexCursor +2
Self-learning operational context layer for AI sports agents. Profile 001: golf. Runs locally from the sports-context-protocol npm package.
MCP server Claude CodeCodexCursor +2
Heterogeneous validation protocol for MCP — structured reasoning (T1) + cross-model confidence evaluation (T2) + deterministic checksum. Runs locally from the t1-t2-protocol Python package.
FerhatDundar/ghcli-mcp-connector
MCP server Claude CodeCodexCursor +2
MCP server "ghcli-mcp-connector" as configured in FerhatDundar/ghcli-mcp-connector. Launched with https://github.com/FerhatDundar/ghcli-mcp-connector/releases/download/v0.1.1/ghc. Needs 5 environment variables to run.
MCP server Claude CodeCodexCursor +2
Verify before your agent acts on data it paid for. Signed verdicts, checkable offline, via x402. Remote server at scrapecheck-mcp.fly.dev.
MCP server Claude CodeCodexCursor +2
Tax comparison, DCF valuation, unit economics, P&L forecast across 8 jurisdictions. Remote server at web-production-842e0.up.railway.app.
MCP server Claude CodeCodexCursor +2
FinishKit MCP: scan GitHub repos for security vulnerabilities, deployment blockers, and quality. Runs locally from the @finishkit/mcp npm package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server "charles-local-mcp" as configured in Eason0in/charles-local-mcp. Launched with https://github.com/Eason0in/charles-local-mcp/releases/download/v0.1.3/charles-l.
MCP server Claude CodeCodexCursor +2
Unofficial local-first MCP for ClassDojo roster imports and classroom skill synchronization. Runs locally from the classdojo-mcp npm package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
AI-friendly, safety-first TestLink MCP server. Runs locally from the testlink-mcp npm package. Needs 4 environment variables to run.