MCP servers and skills: search, filter by where they run, and compare.
The ripgrep of AI context: a zero-dependency C++23 CLI + MCP server for coding agents. Find what you want without reading the repo, then check you built what you meant — blast radius, tests-to-run, qu
SkillApache-2.0★ 2.4kNo key
mcppls — a C++20/23 modules language server: one set of module semantics on GCC, Clang, MSVC and MinGW, for editors (VS Code, Zed, CLion, Neovim), AI Agents (MCP) and CI
SkillApache-2.0★ 19No key
Local MCP server exposing the Cloudflare Clef-Flash decision model to AI agents — structured decisions with probability outputs, fully offline via llama.cpp.
Node.jsApache-2.0★ 7No key
Multiplatform system monitoring tool using Cosmopolitan Libc
SkillApache-2.0★ 73No key
Read-only PostgreSQL MCP server for AI assistants: schema, statistics, plans, locks, replication and PgBouncer, read from the catalog. Never writes, never returns table rows.
SkillApache-2.0★ 11No key
MCP server bridging LLMs to LSP servers for structured code intelligence — definitions, references, call/type hierarchies, hover, symbols, diagnostics. Multi-session shared daemon with refcounted LSP
SkillApache-2.0★ 3Few starsNo key
AI-Inference-Managed-by-AI: Go binary for managing AI inference on edge devices
GoApache-2.0★ 17No key
MCP server for measured local-LLM benchmarks from the AGmind claim registry — AMD Strix Halo (Ryzen AI Max+ 395) llama.cpp numbers today, NVIDIA DGX Spark on the bench. search_claims, get_claim, list_
Node.jsApache-2.0★ 4Few starsNo key
A coding harness that drives small local models through real work: writing and maintaining code, operating a service stack, reviewing diffs, checking security posture, researching against live sources
Node.jsApache-2.0★ 1Few starsNo key
Local multilingual code analysis and inspection for editors, terminals, and AI agents via CLI, MCP, and LSP.
Node.jsApache-2.0Few starsNo key
MCP server for covdbg: C++ code coverage on Windows for AI agents. Run tests, find uncovered code, and add targeted tests. No rebuild required.
SkillApache-2.0Few starsNo key
Chiasmus is an MCP server that gives language models access to formal verification
Node.jsApache-2.0★ 214No key
Who stands behind it
