← All topics

MCP

Model Context Protocol — servers, clients, and integrations.

8315 posts

MCP Server 202

Chiasmus is an MCP server that gives language models access to formal verification

TypeScript Apache-2.0 Updated 1mo ago
MCP Server 260

On-demand Linux computers you can hand to an AI — real Firecracker microVMs with a browser, terminal, coding agents, and an AI that drives t...

Go Apache-2.0 Updated 1mo ago
MCP Server 308

Anti-detection browser server for AI agents — REST API wrapping Camoufox engine with OpenClaw plugin support

TypeScript MIT Updated 2mos ago
MCP Server 321

Crw

Fast, lightweight Firecrawl/Tavily alternative in Rust. Web scraper, crawler & search API with MCP server for AI agents. Drop-in Firecrawl-c...

Rust AGPL-3.0 Updated 1mo ago
us 0 0
MCP Server 338

LLM-powered knowledge base from your Claude Code, Codex CLI, Copilot, Cursor & Gemini sessions. Karpathy's LLM Wiki pattern — implemented an...

Python MIT Updated 2mos ago
Claude Skill 386

900+ pure-markdown skills for autonomous AI research, organized as 9 freely-composable packages over a 4-layer hierarchy (Campaign → Strateg...

HTML Apache-2.0 Updated 1mo ago
MCP Server 399

Free, open-source terminal SSH manager and SSH config editor in Rust for macOS and Linux that keeps ~/.ssh/config in sync with 16 cloud prov...

Rust MIT Updated 1mo ago
MCP Server 430

Symbol Delta Ledger (SDL-MCP) is a policy-centered context budget layer for coding agents: Symbol-graph intelligence combined with precision...

TypeScript NOASSERTION Updated 1mo ago
MCP Server 931

AI-native workspace for local shells and remote machines.Zero Electron, zero OpenSSL, zero telemetry, and no app subscription.

Rust GPL-3.0 Updated 1mo ago
MCP Server 979

Production-grade MCP server and AI tools for the Godot engine. A Snap to install. Totally free and fun.

GDScript MIT Updated 1mo ago
Claude Skill 1.4k

Every meeting, every idea, every voice note — searchable by your AI. Open-source, privacy-first conversation memory layer.

Rust MIT Updated 1mo ago
MCP Server 7

See, price, and control every AI agent tool call. MIT open core of Agentic Control Plane — identity, policy, limits, routing, PII redaction,...

TypeScript MIT Updated 1mo ago