Search awesome repositories

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

Cloudbet Sports Data MCP Server

Open infrastructure for AI agents to discover and pay each other

Universal MCP Server for finding + connecting to agents anywhere on the planet. https://hol.org/mcp

Remote-control Unity Editor from any AI IDE — 62 tools including AI-powered profiling & light probes. File-based IPC, zero dependencies.

MCP Server for GenieACS written in Go

Credential isolation for AI agents. Local-first transparent proxy — your agent never sees your API keys.

The CockroachDB MCP Server is a natural language interface designed for agentic applications to manage, monitor and query data in CockroachDB.

MCP server for managing Proxmox VE clusters through AI assistants

MCP Server for DeepSeek API - enables MCP clients to use DeepSeek Chat and Reasoner models

MCP server that lets your ai agent press sound buttons. it's not that deep.

MCP server to expose Claude Code Skills to AI agents

The finmap.org MCP server provides comprehensive historical data from the US, UK, Russian and Turkish stock exchanges. Access sectors, tickers, company profiles, market cap, volume, value, and trade counts, as well as treemap and histogram visualizations

LLM guardrails & prompt injection detection for Python. Auto-instruments LangChain, CrewAI, OpenAI, LiteLLM + 8 more frameworks. PII masking, toxicity detection, policy CI/CD. One line, zero code changes.

Action Control for autonomous agents. Check posture. Gate risky actions. Prove execution. Fits your existing agent stack.

Enable AI assistants to interact with your Echo API

An MCP server for Unsplash photo search with proper attribution built-in. Key differentiator: Returns ready-to-use attribution_text and attribution_html for each photo, making it trivial for LLMs to build content pages with properly credited images (as required by Unsplash API guidelines).

The missing cognitive primitive for AI agents. Decompose any text into classified semantic units — authority, risk, attention, entities. No LLM. Deterministic.

An MCP server providing curated Swift and SwiftUI best practices from leading iOS sources.

MCP server for managing and interacting with Flowcore Platform

MCP server for video analysis — extracts transcripts, key frames, OCR text, and metadata from video URLs. Supports Loom and direct video files.

14-category autonomous product-building OS for 32+ AI coding tools. One-line prompts → deployed products.

GitHub-ready Codex plugin bundle for Yandex Direct, Wordstat, Metrika, Roistat, Audiences, and Yandex Search API workflows.

MCP server for JobGPT — search jobs, auto-apply, generate resumes, and track applications from Claude, Cursor, Windsurf, and any MCP client

Apple-native execution layer for AI coding agents: compile, validate, repair, and prove Swift surfaces.

MCP server that allows LLMs to connect to and execute code using Piston

MCP server that turns AI into an SVG artist

MCP server for the Ejentum Logic API. Exposes the four cognitive harnesses (reasoning, code, anti-deception, memory) as MCP tools any agentic client can call.

Universal deployment tracker for AI assistants - check deployment status without leaving your AI chat

MCP EU AI Act Compliance Scanner - Open source tool to detect EU AI Act violations in codebases