Explore
MCP servers and skills: search, filter by where they run, and compare.
Nothing matches every word exactly, so these are the closest matches.
MCP servers and skills: search, filter by where they run, and compare.
Nothing matches every word exactly, so these are the closest matches.
SWI-Prolog MCP server framework with Prolog manual, introspection and toplevel servers.
SkillBSD-2-Clause★ 4Few starsNo key
Pipecat MCP server for your AI agents
PythonBSD-2-Clause★ 154No key
MCP server for semantic search over markdown files using sentence-transformers and FAISS
PythonBSD-2-Clause★ 2Few starsNo key
Collections of files and tools for coding agents.
SkillBSD-2-Clause★ 1Few starsNo key
Examples for a specification are taken from a program that runs, not written by hand: source instrumented in 8 languages emits a call trace, and the MCP server turns it into checkable examples
PythonBSD-2-Clause★ 5No key
SkillBSD-2-Clause★ 3Few starsNo key
Multi-instance, multi-user Forgejo MCP server (mirror)
SkillBSD-2-ClauseFew starsNo key
🤖 Jarvis — Ein hochmoderner, deutschsprachiger KI-Assistent basierend auf Gemini Live. Mit nativer Sprachausgabe, MCP-Unterstützung und Vision-Features.
SkillBSD-2-Clause★ 5No key
Drive a Language Server (sourcekit-lsp and others) from Swift, exposed as a CLI and an MCP server — built on JSONFoundation's unified JSON-RPC runtime.
SkillBSD-2-Clause★ 2Few starsNo key
A Swift implementation of the Agent Client Protocol (ACP) — drive ACP agents, or expose your app/CLI as one.
SkillBSD-2-Clause★ 3Few starsNo key
A Python docstring format with emphasis on machine-verifiable normativity
PythonBSD-2-ClauseFew starsNo key
SkillBSD-2-Clause★ 4Few starsNo key
An MCP for enriching AI agents with mathematical knowledge
PythonBSD-2-Clause★ 4Few starsNo key
An MCP server around INDRA CoGEx enabling AI agent interaction with the knowledge graph
PythonBSD-2-Clause★ 3Few starsNo key
SkillBSD-2-Clause★ 1Few starsNo key
Selenium Grid MCP server for browser automation (mirror)
SkillBSD-2-ClauseFew starsNo key
PostgreSQL schema intelligence MCP server with offline linting, migration safety, query validation for AI coding assistants.
Node.jsBSD-2-Clause★ 36No key
Who stands behind it
