lean-lsp
7393MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 42
+2 yesterday A
tokens not measured
original Apache-2.0
mysql
7394MCP server Claude CodeCodexCursor +2
MCP server "mysql" as configured in askdba/mysql-mcp-server. Launched with mysql-mcp-server. Needs 2 environment variables to run.
not rated 42 3mo ago A
tokens not measured
original Apache-2.0
context-hub
7395Skill Claude CodeCodex
Use this skill when the user asks for the latest docs, latest model, latest setup guidance, latest API behavior, or explicitly mentions chub or Context Hub. Use it by default whenever current documentation or current workflow guidance matters more than model memory. Ensure chub is available, run chub help, then use…
not rated 42
+1 4mo ago A 83 tokens
original MIT
paper-review
7396drpwchen/paper-review-and-digest
Skill Claude CodeCodex
Deep single-paper academic analysis — journal credibility, author profiling, reference verification, citation impact, and critical appraisal. Like a teaching hospital journal club report. Use this skill whenever the user wants to deeply review, evaluate, or dissect a single academic paper, prepare a journal club…
not rated 42
+3 26d ago A SkillSpector: warn 136 tokens
original MIT
qi-cli
7397Skill Claude CodeCodex
Guide for using qi, a local knowledge search CLI for macOS and Linux. Use this skill when the user wants to index documents into a searchable knowledge base, search or retrieve from one, configure qi's collections or embedding providers (Ollama, OpenAI-compatible), choose between its search modes (BM25, hybrid…
not rated 42
changed 10d ago A SkillSpector: warn 88 tokens
original MIT
withings
7398MCP server Claude CodeCodexCursor +2
MCP server for Withings health data — sleep, activity, heart, and body metrics. Remote server at withings-mcp.com.
not rated 42 8d ago A
tokens not measured
original MIT
short-video-workflow
7399Skill Claude CodeCodex
A workflow for cutting highlights from an already edited long video and its SRT subtitle file. SRT is a subtitle format that includes text and timing; each result is no longer than two minutes.
not rated 42
+3 13d ago A 188 tokens
b2b-sdr-agent
7400iPythoning/b2b-sdr-hermes-skill
Skill Claude CodeCodex
Autonomous AI Sales Development Rep for B2B export — handles lead discovery, BANT qualification, multi-channel outreach (WhatsApp/Email/Telegram), CRM management, and deal pipeline tracking. Built for cross-border trade.
not rated 42
+2 28d ago A 52 tokens
original MIT
mcp-apple-music
7401MCP server Claude CodeCodexCursor +2
MCP Server for Apple Music — search, library, playlist management via Claude. Runs locally from the mcp-apple-music-server Python package. Needs 5 environment variables to run.
not rated 42
+1 3mo ago A
tokens not measured
original MIT
install-waggle
7402Skill Claude CodeCodex
Install the official Waggle plugin locally for Codex from the latest stable Abhigyan-Shekhar/Waggle-mcp GitHub Release. Use for explicit requests such as "Install Waggle", "Set up Waggle", "Install Waggle for Codex", or "Enable Waggle". Do not use for Waggle operation, repair, updates, configuration, or memory…
not rated 42
+2 6d ago A SkillSpector: pass 84 tokens
original Apache-2.0
Skill Claude CodeCodex
Drive a whole tdmcp feature BACKLOG to completion as resumable, wave-by-wave releases — the campaign layer ABOVE tdmcp-pipeline/tdmcp-feature-lead. Use whenever the user wants to implement an ENTIRE backlog or discovery file (e.g. workspace/discovery/FEATUREBACKLOG.md), 'all the features', many features across…
not rated 42
+3 1mo ago A SkillSpector: pass 185 tokens
original MIT
explain-report
7404minghinmatthewlam/agent-guards
Skill Codex
Create a self-contained HTML explanation when the user requests one or when important, durable project knowledge is materially easier to understand visually than in concise chat. Use for significant architecture, research, decisions, incidents, audits, or changes that the user may revisit. Do not use for routine…
not rated 42
+1
changed 13d ago A SkillSpector: warn 69 tokens
original MIT
vulnmcp
7405MCP server Claude CodeCodexCursor +2
MCP server "vulnmcp" as configured in vulnerability-lookup/VulnMCP. Runs locally from the vulnmcp Python package.
not rated 42 18d ago A
tokens not measured
AGPL-3.0
game-assets
7406Skill Codex
Plan games and create, edit, upgrade, animate, and prepare production-ready game assets with Meowa. Use for Game Designer research and design documents, pixel or HD sprites, consistent variants, multi-view or Spine characters, UI sheets, image and frame edits, Pindou bead art, textures, terrain tilesets, maps, video…
not rated 42
+3
changed today A Socket: warnSnyk: passSkillSpector: pass 99 tokens
original MIT
mcp-telegram
7407MCP server Claude CodeCodexCursor +2
Unofficial Telegram MCP server — read, search, reply and react in your own Telegram account. Runs locally from the @overpod/mcp-telegram npm package. Needs 2 environment variables to run.
not rated 42
+1 yesterday A
tokens not measured
original MIT
frendysanusi/claude-pentest-skills
Skill Claude CodeCodex
Structured web application penetration testing with OWASP methodology, curated payload references, 6-gate validation, and professional report generation.
not rated 42
+4 5d ago A 31 tokens
ask-hormozi
7409Skill Codex
Search locally indexed MoreMozi transcripts and answer with attributed Alex Hormozi context and clickable video timestamps. Use when a user asks what Alex Hormozi has said, taught, recommended, or believed about offers, pricing, sales, marketing, lead generation, customer acquisition, hiring, management, business…
not rated 42
+2 1mo ago A SkillSpector: pass 71 tokens
original MIT
openstudio-mcp
7410MCP server Claude CodeCodexCursor +2
MCP server "openstudio-mcp" as configured in NatLabRockies/openstudio-mcp. Runs locally from the openstudio-mcp Python package.
not rated 42
+11 yesterday A
tokens not measured
bazi-mingli
7411Skill Claude CodeCodex
A Chinese astrology and divination skill covering Four Pillars, Zi Wei Dou Shu, Plum Blossom numerology, six-line divination, and Qi Men Dun Jia.
not rated 42
+3
changed 11d ago A 187 tokens
desktop-commander/remote-desktop-commander
MCP server Claude CodeCodexCursor +2
MCP server "remote-desktop-commander", hosted remotely at mcp.desktopcommander.app, as configured in desktop-commander/remote-desktop-commander.
not rated 42
+19 1mo ago A
tokens not measured
astro
7413Skill Claude CodeCodex
Skill for using Astro projects. Includes CLI commands, project structure, core config options, and adapters. Use this skill when the user needs to work with Astro or when the user mentions Astro.
not rated 42 yesterday A SkillSpector: warn 40 tokens
original MIT
xtbench-triangulate
7414Skill Claude CodeCodex
Pull a GitHub Actions xtbench run, extract failing namespaces per language/group, and triangulate whether the root cause is in the shared xt. source test or in a language-specific spec/rewrite.
not rated 42 today A SkillSpector: pass 46 tokens
original MIT
Skill Claude CodeCodex
Turns ARIApulse index telemetry into the weekly cross-property attribution digest.
not rated 42
+1 today A 19 tokens
original Apache-2.0
agent-memory
7416Skill Claude CodeCodex
A system for keeping useful project information between agent sessions through persistent memory. It stores decisions, procedures, incidents, postmortems, and current work context.
not rated 42 13d ago A 30 tokens
original MIT
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: