MCP servers and skills: search, filter by where they run, and compare.
Nothing matches every word exactly, so these are the closest matches.
基于 Rust 的高性能舞萌 DX (maimai DX) MCP 查分工具与b50渲染服务
SkillBSD-2-Clause★ 1Few starsNo key
Agent-friendly SSH CLI and skill for structured remote operations over Paramiko, with safe command transport, file transfer, background jobs, and systemd diagnostics.
SkillBSD-2-Clause★ 6No 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
A Python docstring format with emphasis on machine-verifiable normativity
PythonBSD-2-ClauseFew starsNo key
MCP server for the Redux algorithms API (shortest path, TSP, bin packing, NP-Complete reductions, etc.)
SkillBSD-2-Clause★ 1Few starsNo key
Who stands behind it
