Developer Tools plugins

Inspect and control Parallels Desktop virtual machines: list, power, screenshot, run guest commands, type keys, and run multi-step sequences.

1 MCP server

End-to-end formal verification of a Solidity contract with the Certora Prover. Given a project (Foundry/Hardhat) and a main contract, this skill analyzes the system's components, runs certora-autosetup to build a working prover configuration and summaries, formulates security properties (invariants, safety properties, attack vectors) per component, formalizes them in CVL, and iterates certoraRun until every rule is verified, excused as a suspected bug, or skipped with justification — ending with a verification report.

1 skill

End-to-end formal verification of a Solana program with the Certora Solana Prover. Given an Anchor or solana-program crate, this skill analyzes the program's instructions and accounts, scaffolds a CVLR harness into the crate behind a cargo feature, formulates security properties (invariants, safety properties, attack vectors) per component, formalizes them as CVLR rules, and iterates the prover until every rule is verified, excused as a suspected bug, or skipped with justification — ending with a verification report.

1 skill

No description.

A thin layer of engineering judgment for AI-assisted coding: it classifies each change, then applies the right depth and lenses across planning, review, verification, debugging, and communication, instead of one uniform pass regardless of risk.

29 skills · 12 commands

Agent skills for .NET 8+ development (Avalonia, ASP.NET Core, Blazor, MAUI, EF Core, xUnit/MSTest). Adapted from addyosmani/agent-skills (MIT).

24 skills · 9 commands · 8 agents

Configuration governance for Claude Code — 19 skills, 7 agents, 16 stacks, 13 hooks, audit scoring (0-10), domain rules, and practices pipeline.

25 skills · 5 commands · 7 agents · hooks

Portable Codex, Claude, and Cursor workflow pack.

36 skills

Author models in Three.js or Blender MCP, code Three.js motion and interaction for both, and approve results on localhost.

35 skills · hooks

Quality enforcement: TDD discipline, code review workflows, release verification, and CI failure analysis.

13 skills · 4 commands · 7 agents

Core developer workflow skills: planning, execution, communication, and powerup discovery.

16 skills · 4 commands · 3 agents

Yet another AI workflow: planning, implementation, PR delivery, review, simplification, and investigation skills that wire into one another

16 skills · 2 agents · hooks

A retrieval architecture that pre-projects sources to task domains at ingestion time. Runtime becomes lookup, not reshape. Ships skills for ingesting sources under a 9-pass source-only protocol, retrieving via two-layer indexes (corpus catalogue + per-task distillation indexes), and a PreToolUse hook that enforces deep-reference structural discipline at write time.

18 skills

Minimal, composable skill toolkit for AI coding agents: intent-first routing, self-contained skills, TDD, opt-in session learning

17 skills

Analytics engineering, dbt patterns, BigQuery optimization, data quality, and pipeline workflows.

8 skills · 4 commands · 5 agents

Portable AI engineering workflows for Claude Code.

11 skills · 3 commands · 1 agent · hooks

Deep argument interrogation — one command maps a claim, then attacks it from five adversarial angles (logic, evidence, counter, assumptions, integrity). A six-check calibration gate refuses to manufacture objections: on a sound argument, most angles return [SOUND]. Returns a calibrated verdict (HOLDS / HOLDS-IF-NARROWED / WOUNDED / DEFEATED).

8 skills · 1 command · 6 agents

Ciclo de trabalho agêntico para qualquer repo Git: probe, refine, issue, build, peek, review, iterate, land e reply, o chain que os encadeia, mais o map e o equip, que preparam a máquina e o repo. Global e context-agnóstico, com o que é específico do seu time vindo de um manifesto, nunca hardcoded.

11 skills · 4 agents

Frontend design taste skills for distinctive layouts, redesigns, image-to-code, brand systems, and visual direction.

13 skills

Plugin development toolkit: 7 skills (agent/command/hook/skill/MCP/structure/settings) + 3 agents (agent-creator, plugin-validator, skill-reviewer) + /plugin-dev:create-plugin guided workflow.

7 skills · 1 command · 3 agents

Public Agent Skills for Codex operations, Cursor operations, Claude operations, repo maintenance, skill maintenance, productivity, and engineering workflows.

11 skills

Developer tools: git-commit-pr, agent-chat-history, context7-cli/mcp/find-docs, Ponytail minimal-solution skills, and frontend-design.

10 skills

Build and query an offensive security knowledge map through an MCP server and agent skills.

8 skills · 1 command · 1 MCP server

Full development and operations toolkit for the AetherBrowse governed AI browser

3 skills · 3 commands · 1 agent

Agent skills for working with Storyblok via the Storyblok MCP server and CLI.

6 skills · 1 MCP server

面向 Gaussian 量子化学计算的可审计工作流助手，支持任务规划、输入生成、Slurm 执行、故障诊断、科学验证和性质分析。

6 skills

GitLab MCP server — issues, merge requests, pipelines, code search. 80+ tools.

6 skills

Deterministic vector motion engine, virtual-clock studio player, and 1080p 60fps MP4/WebM launch-video compiler for AI agents.

4 skills · 1 command

Connect Claude Code to a local Froglet node for verifiable compute, signed receipts, settlement, and service publication.

1 skill · 1 command · 1 MCP server

Control a local Chromium browser and inspect transient behavior with source-linked temporal visual evidence.

2 skills · 1 MCP server