Arg2P
io.github.tuProlog/arg2p
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
Находите серверы Model Context Protocol из официального реестра. Прозрачные сведения от разработчиков, а не сертификат безопасности.
17 674 записей · Публикация в Registry ≠ техническая проверка NexIP
io.github.tuProlog/arg2p
Structured argumentation: solve ASPIC+, ABA and abstract theories, explore their results
io.github.sandbanks/agentic_ssh
High-performance (Rust), token-efficient, and asynchronous SSH orchestrations for AI agents.
io.github.promptwheel-ai/logbook
Git-history memory for coding agents: reverts, weakened tests, hot spots, and unreviewed notes.
io.github.marcomq/mq-bridge
Move data between 15+ databases, queues and files at high throughput, without it entering context
io.github.commonpost/thunderbird-mcp
Mail, contacts, calendar and filters of Thunderbird for AI assistants, through a local add-on.
io.github.bithug01/greenpick
Greener, cheaper cloud infra decisions — carbon + cost + latency tradeoffs, in-editor.
io.github.bikemeardsley/thicken
Photos in: a 3D model at the object's real size and its metadata as JSON, for any kind of object.
io.github.applitools/applitools
Create, update, review, and resolve visual tests with Applitools Eyes across any supported SDK.
io.github.Servosity/abnormal-mcp
Abnormal Security email threats, cases, and reporting in your terminal and your AI agents.
io.github.Mohabdo21/linux-mcp
Linux MCP server for real-time system monitoring - CPU, memory, disk, network, processes, Docker.
io.github.KittyCAD/zoo-mcp
An MCP server that provides access to the Zoo API for various CAD operations and tools.
io.github.CYAN-ECLIPSE-TECHNOLOGIES-LLC/bazaar
Discover agent tools by problem: every listing carries its Test Bench verdict or says it has none.
ai.skilltotal/skilltotal
Deterministic security scan of MCP servers, agent skills and npm/PyPI packages. Runs locally.
io.sourcemed/sourcemed
Source-verified medical evidence library for agents. Every card traces to a checked source.
io.github.mveyseldelibas/mapsql-mcp
Safe MCP server for PostGIS and Oracle Spatial: query geodata and answer with maps.
io.github.mrcbrbn5361/syncytiummd
One canonical context transpiled into Cursor, Claude, Copilot, Cline and more, with agent handoff.
io.github.many77146-bot/dmt-receipts
Stamp and verify Bitcoin-anchored OpenTimestamps memory receipts for AI agents.
io.github.lluvr/frame-check
Deterministic structural framing analysis for AI-generated documents; no LLM call of its own.
io.github.kimmawla/mcp-supply-audit
Audits MCP servers as software artifacts: registry entries, packages, configs, tool definitions.
io.github.commentemeapp/tiendanube-mcp
Live Tiendanube / Nuvemshop docs, Admin API endpoints, OAuth scopes, webhook events and scaffolds