io.github.jonybur-oc/mcp-server

stories.yaml — an open specification for software requirements, enforced by CI.

io.github.ProofStreamai/proofstream-mcp

Dispatch a human verifier to physically verify anything in the real world. For AI agents.

io.github.xorrkaz/cml-mcp

An MCP server that provides access to common Cisco Modeling Labs (CML) operations.

io.github.bawbel/bawbel-scanner

Security scanner for MCP servers and skill files. Detects AVE vulnerabilities before production.

io.github.cammac-creator/openswissdata

Swiss federal open data via MCP: TARES tariffs, FINMA registry, NOGA codes (9 tools).

io.github.Rocketech-Software-Development/formacv

FormaCV MCP server for AI-powered CV formatting, anonymization, tailoring, and ATS push-back.

io.github.dishui/motion-mcp-public

Remote MCP server bridging Motion to Claude

io.github.phasespace-labs/palinode

Git-versioned markdown memory for AI agents: save, search, compact, lint, and audit.

io.github.Hyperion-GPU/proofflow

Audit infrastructure for AI coding agents with evidence-backed review and policy gates.

io.github.cyntrisec/cyntrisec

Historical AWS analysis CLI; not a current Cyntrisec product.

io.github.temurkhan13/silentwatch-mcp

MCP server for cron silent-failure detection across crontab, systemd, and OpenClaw schedulers.

io.github.temurkhan13/openclaw-output-vetter-mcp

Verify AI agent claims vs reality: inline grounding-check + swallowed-exception + transcript review.

io.github.temurkhan13/bash-vet-mcp

Vet LLM-emitted shell commands BEFORE execution. 26 destructive-pattern rules / 8 families.

io.github.xcodethink/pixelcheck

Real eyes and hands on the web for AI agents. MCP-first. Local-first. Vendor-agnostic.

io.github.wheelfor/mcp

MCP server for wheelfor.com — create, spin, and manage decision wheels

io.github.intent-driven-software/idf-mcp

Turn an IDF domain into an MCP server with invariants and role scopes in every tool description.

io.github.jcucci/dotnet-sherlock-mcp

.NET assembly introspection MCP server with advanced reflection and type analysis capabilities

io.github.inSideos-designs/cowork-qa

Goal-driven Playwright browser sessions for LLMs, with full action traces and aria-snapshots.

io.github.charlesrapp/pruna

Ultra-fast image generation, editing, upscaling, and video generation via Pruna AI.

io.github.OjasKord/document-integrity-validator-mcp

AI reasoning checks any document against known international standards before your agent acts on it.

io.github.Cast-Hub/mcp

Control CastHub digital signage. Manage TVs, presentations, schedules, and emergency alerts.

io.github.nicklasmenschel/gerezi-mcp

Manage restaurant bookings via Claude — read covers, find guests, move tables, send wedding quotes.

io.github.kirkderp/rbinmcp

Rust MCP server for binary analysis and reverse engineering.

io.github.flytohub/flyto-indexer

Code intelligence MCP server — impact analysis, semantic search, dependency graphs