libpetri
claudeDesign principles for building provable Coloured Time Petri Nets with libpetri: token-carried data flow, reusable subnets, correlated fork/join, and proofs from the first commit.
1 skill
Claude Code and Codex plugins their authors filed under "development". All categories.
Design principles for building provable Coloured Time Petri Nets with libpetri: token-carried data flow, reusable subnets, correlated fork/join, and proofs from the first commit.
1 skill
An arsenal of slash commands and MCP servers for AI agents — written once, compiled to Claude Code, opencode, and Cursor.
5 skills · 17 commands · 2 agents · 3 MCP servers
Essential development skills: Git, TDD, code review, gitleaks secret scanning, documentation, technical English, restraint, anti-fabrication, twelve-factor apps, the agent loop, bees issue tracking, mise, nushell, and Apple Container
14 skills · 5 commands · 5 agents · hooks
ServiceNow MCP server for Claude Code, GitHub Copilot, Codex and any MCP client: Table API, CMDB, schema, aggregates and update sets, plus four Agent Skills. Read-only mode, OAuth client credentials for headless use, audit log.
4 skills · 1 MCP server
R language server for Claude Code, providing code intelligence for R, R Markdown, and Quarto files. Requires the languageserver R package.
LSP
Tiered Salesforce library: 12 router skills up front, 1,040 grounded Salesforce skill packages, 70 run-time agents and 94 slash commands reached on demand.
200 skills · 94 commands · 70 agents
One loop — work — for code, data, writing and workshop presentations: an approved plan as the run's only authority, delegated implementation, independent verification against computed gates, and human review
91 skills · hooks
Complete game development plugin — 25 skills, 7 commands, 3 agents, 5 hooks. Genre-agnostic patterns for any game type.
25 skills · 7 commands · 3 agents · 3 MCP servers · hooks
Game design skills — core loops, economy, levels, procedural generation, quests, skill trees, and UI/UX patterns.
39 skills
Game engineering skills — backend architecture, state sync, auth, payments, analytics, matchmaking, Redis, BullMQ, and audio.
39 skills
Skills for writing, porting, and operating ReactantNitro experiments: the hook contract, the three field markers, metrics, optimizers, recompilation, checkpoints, manual training, device boundaries, visualization, export, and Kaimon-driven runs.
11 skills
Ambient awareness of Fabrik for the human's interactive Claude Code session. Turns Claude into a product-management buddy and supervisor for projects that use Fabrik to automate issue processing through a configurable SDLC pipeline (Specify, Research, Plan, Implement, Review, Validate).
2 skills · 1 command · 1 MCP server · hooks
Real-time web search, news with storyline clustering, company and person profiles, local place lookup, fast destination lookup, broad multi-angle research, URL extraction and image search through Octen's hosted MCP server, plus video search in invite-only Beta. Authorizes over OAuth on first use — nothing to install and no API key to paste.
2 skills · 1 MCP server
Evaluates a repository's readiness for AI coding agents and produces an evidence-based scorecard. Also audits how much agent run time goes to slow tool calls.
2 skills
Authoritative CLI and Agent-Experience (AX) design system by Steve Francia (spf13), creator of Cobra, Viper, and Hugo. Enforces the 56 principles of CLI Style across Grammar, Convention, Outcome, Legibility, Output, Interaction, Failure, Time, Distribution, and Trust.
1 skill
Intelligent orchestration platform for AI coding tools — 47 MCP tools (orchestrate, consensus voting, research, pipelines), 34 skills, 12 expert agents, governance hooks.
34 skills · 12 agents
Full SDD pipeline (briefing -> review-features), autonomous 00c orchestrators with persistent state, bounded decisions and measured cost, and enforced guard hooks
23 skills · 7 commands · 7 agents · 1 MCP server · hooks
Complete development toolkit — UX testing, multi-agent coordination, TDD workflow, GitHub templates, research spikes, and repo scaffolding. Provides 20 coordinator agents (issue-groomer, issue-implementer, coordinator, worker, reviewer, planner, and more) plus 15 skills for browser and native UX testing, UX flow critique, visual design critique, research spikes, TDD enforcement, and repo scaffolding.
17 skills · 20 agents
Deterministic linting hooks, semantic code validators, and a multi-LLM advisory council. Enforces coding rules mechanically — not by suggestion.
12 skills · 2 agents
Go language profile: Go-specific skills and hooks for the cstk toolkit
7 skills
Jira Cloud integration for the cstk toolkit: converts a documented feature (spec + tasks.md) into Epic > Task > Sub-task in Jira, keeps a dedicated board per target project and syncs status during autonomous feature-00c/agente-00c executions
3 skills · hooks
Repo-local Codex adapter for Astral's official Python tool skills.
3 skills
Looks up curated web security learning resources (XSS, SQLi, CSRF, SSRF, OAuth/JWT, recon, evasion, tools, CTF). Filters by topic, difficulty, language, and resource type. Returns top references with archive fallbacks. Defensive use only; refuses unauthorized targeting.
1 skill
GABBE core: 44 agent skills for the everyday engineering loop — spec, plan, TDD, review, research, security, memory and audit, with Brain and Loki mode. Add the gabbe-* topic plugins from the same marketplace for the rest of the 214.
44 skills
GABBE ops skills (30): operations: deployment, environments, observability, incidents, performance, cost and release management.
30 skills
GABBE architecture skills (29): software architecture: patterns, C4 and diagrams, domain models, event-driven and microservice design, governance, migration and scalability.
29 skills
Cheap, fast, typed AI judgments inside Claude Code via the jevctl CLI: verify claims against evidence, screen fetched text or screenshots for prompt injection, rank candidates by meaning, locate things in images, and ask yes/no, multiple-choice, rating, or where-is-it questions.
1 skill · 9 commands
Frontend platform discipline: CSS, Tailwind CSS v4, accessibility, UI design decisions, and browser-specific practices
7 skills
Grafana observability platform: dashboards, query languages (PromQL, MetricsQL, LogsQL), alerting, provisioning, and data visualization discipline
7 skills
JavaScript and TypeScript discipline: the language, the type system, the Node and Bun runtimes, Vitest, and LSP-powered code intelligence
5 skills · LSP