lean-lsp
10585MCP server Claude CodeCodexCursor +2
Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.
not rated 48 2d ago A
tokens not measured
original Apache-2.0
webmcp-nexus
10586Skill Claude CodeCodex needs its repo ✓ vendor
A coding guide for adding WebMCP tools to JavaScript or TypeScript projects. WebMCP lets AI agents call selected application functions through a standard interface.
not rated 48
+1
changed 2mo ago A SkillSpector: warn 159 tokens
original MIT
milvus
10587Skill Claude Code
Operate Milvus vector database with pymilvus Python SDK. Use when the user wants to connect to Milvus, create collections, insert vectors, perform similarity search, hybrid search, full-text search, manage indexes, partitions, databases, or RBAC via Python code.
not rated 48
+1 7mo ago A 57 tokens
original Apache-2.0
agentx
10588Skill Claude CodeCodex
Drive X/Twitter from the CLI (read, post, DM, lists, communities, Grok, scheduling, analytics). Use when an agent needs to read or act on X/Twitter. Every command prints one JSON envelope.
not rated 48
+2
changed 6d ago A 49 tokens
original MIT
javalens
10589MCP server Claude CodeCodexCursor +2
63 semantic Java analysis tools via Eclipse JDT: navigation, refactoring, code intelligence. Runs locally from the javalens-mcp npm package. Needs 3 environment variables to run.
not rated 48
+2 25d ago A
tokens not measured
original MIT
slopbuster
10590Skill Claude Code
AI text humanizer for prose, code, and academic writing. Strips AI-generated patterns and restores human voice. Use when editing or reviewing text to make it sound naturally human-written, when cleaning up AI-generated code comments and naming, or when revising academic papers flagged for AI patterns.
not rated 48
+2 3mo ago A 65 tokens
original MIT
no-vibe
10591Plugin Claude Code
Bundles 2 skills, 2 commands, 2 hooks · 238 tokens together
Learning mode for AI coding assistants. The agent teaches and shows code in chat, and you type every line yourself.
not rated 48
+2
changed 9d ago A
tokens not measured
original MIT
tlaplus-from-source
10592Skill Claude CodeCodex
Generate a high-level TLA+ model from source code (C, C++, Rust, etc.). Analyzes code to understand its purpose, creates abstractions, writes TLA+ specification, and proposes invariants and properties. Use when the user wants to model source code in TLA+, create a formal specification from implementation, or verify…
not rated 48
+1 9mo ago A 79 tokens
original MIT
architecture-governance
10593Plugin Claude Code
Bundles 7 skills · 242 tokens together
Establish architecture governance, design fitness functions, manage tech debt, and ensure compliance. Build sustainable architecture practices.
not rated 48
+2 8mo ago A
tokens not measured
original MIT
trends-mcp
10594MCP server Claude CodeCodexCursor +2
MCP server "trends-mcp", hosted remotely at api.trendsmcp.ai, as configured in trendsmcp-ai/Trends-MCP.
not rated 48
+1 10d ago A
tokens not measured
original MIT
implement
10595Skill Claude Code
Implement a ticket or feature with proportional planning, test first behavior changes, independent review when available, and verification through the real affected surface.
not rated 48
changed 10d ago A SkillSpector: pass 29 tokens
original Apache-2.0
possession
10596Skill Claude CodeCodex
A role-playing character builder that extracts playable details from official game settings, dialogue, and backstory. It organizes the result into profile, personality, interaction, memory, and relationship information.
not rated 48
+1 7mo ago A 70 tokens
original MIT
curator-evolution
10597pingchesu/hermes-curator-evolver
Skill Claude CodeCodex
Use when interpreting Hermes Curator Evolver evidence reports, historical session backfill, proposals, verifier results, candidate search, auto-run output, timer installs, or guarded apply manifests.
not rated 48
changed 2mo ago A SkillSpector: warn 41 tokens
original MIT
zuke
10598Plugin Claude Code
Bundles 2 skills · 172 tokens together
Agent skills for Zuke, the code-first build automation system for Deno/TypeScript. Bundles zuke-setup (scaffold Zuke into a project) and zuke-write-build (author or edit a build.ts build).
not rated 48
changed 2d ago A
tokens not measured
original MIT
feedback-coach
10599Skill Claude CodeCodex
Checks an instructor's draft feedback on a student response against the assignment's grading rubric and rewrites it to be constructive, specific, and accessible to a neurodiverse audience. Use when the user says "help me rewrite this feedback on a student's exam answer," "does my feedback match the rubric," "make this…
not rated 48
+1 28d ago A 101 tokens
skill-creator
10600Skill Claude CodeCodex
Create, edit, improve, tidy, review, audit, or restructure AgentSkills and SKILL.md files.
not rated 48
+1 1mo ago A 26 tokens
mcp-ynab
10601MCP server Claude CodeCodexCursor +2
MCP server that connects AI assistants to your YNAB budget. Runs locally from the mcp-ynab Python package.
not rated 48 3mo ago A
tokens not measured
AGPL-3.0
llm-observability
10602ContextJet-ai/awesome-llm-observability
Plugin Claude Code
Bundles 26 skills · 2,363 tokens together
26 Agent Skills (several with runnable, unit-tested scripts) for building, evaluating, securing, and monitoring reliable LLM & AI-agent apps.
not rated 48
+3
changed 27d ago A
tokens not measured
aetox-architect
10603Skill Claude CodeCodex
อ่านระบบที่มีอยู่จริงแล้วกางออกมาเป็นเอกสารสถาปัตยกรรม - เดินเก้าขั้นจากรับโจทย์ ไปสำรวจของจริง ถามสิ่งที่ยังไม่รู้ วาดแผนที่โมดูลกับการไหลของข้อมูล ประเมินหนี้ทางเทคนิคกับความเสี่ยง แล้วเขียนเป็นแม่แบบเอกสาร ใช้ตอนต้องเข้าใจโค้ดเบสก่อนลงมือ ตรวจระบบปัจจุบัน ส่งงานต่อให้คนอื่น หรือทานแผนที่เสนอมากับหลักฐานในระบบจริง.
not rated 48
changed 1mo ago A 130 tokens
looker-skills
10604looker-open-source/looker-skills
Plugin Claude Code
Bundles 26 skills · 1,199 tokens together
This repository contains a collection of "skills" designed to assist AI agents and developers in writing high-quality, standardized LookML code and guiding them through Looker onboarding. Each skill encapsulates specific instructions, best practices, and examples for different aspects of Looker development.
not rated 48
+3 2d ago A
tokens not measured
original Apache-2.0
ae-mcp
10605Skill Claude CodeCodex
Drive Adobe After Effects through the ae-mcp tools. Use when the user wants to create, edit, animate or render anything in After Effects - compositions, text, shape layers and bezier paths, trim paths and other shape operators, masks, keyframes and easing, expressions, effects and particles (CC Particle World…
not rated 48
+2
changed 1mo ago A 170 tokens
original MIT
paper-tutor
10606cabbage2000-lab/paper-tutor-skills
Plugin Claude Code
Bundles 5 skills · 327 tokens together
An academic-writing toolkit covering the stages from choosing a topic and searching literature to review and submission.
not rated 48
changed 8d ago A
tokens not measured
cs2
10607LancerComet/cities-skylines-2-mcp
MCP server Claude CodeCodexCursor +2
MCP server "cs2" as configured in LancerComet/cities-skylines-2-mcp. Runs mcp-server/dist/index.js with node.
not rated 48
+2 25d ago A
tokens not measured
copy · 92% Apache-2.0
sage-eval-gauge
10608Skill Claude CodeCodex
Repo-local Sage eval-gauge / hill-climbing Phase-0 toolkit. Use when an operator, Claude Code, or Codex needs to measure Sage capability with a GROUND-TRUTHED gauge (not substring eval scores), run the Gate Experiment (does the eval track reality?), compare bare-model vs harness, get the noise floor /…
not rated 48
+13
changed yesterday A 108 tokens
GPL-3.0
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: