17 skills found
heytdep / formal-spec-extract-propertiesExtract properties from a formal spec (TLA+/Lean/ProVerif) into AutoSpec's structured format. Classifies each property with id, statement, essence, and type. Works on formal-spec output or any existing formal spec.
modelcontextprotocol / modelcontextprotocolSpecification and documentation for the Model Context Protocol
ivfarias / speckitUse when user wants to work with specifications or create feature requirements following the spec-driven development workflow
jmanhype / speckitSpecification-Driven Development with Beads Integration - A comprehensive workflow system for AI-assisted software development
feiyun0112 / spec-coding-mcpTransform feature ideas into production-ready code through systematic Spec-Driven Development 通过系统化的**规格驱动开发**，将功能想法转化为可投入生产的代码
quinnjr / ffiFFI (Foreign Function Interface) guidelines for skia-rs-ffi
1999AZZAR / the-designerMCP server for production-grade UI design — 27 tools covering design rules, OKLCH tokens with auto dark mode, WCAG 2.1 accessibility audit, React/Vue/HTML component output, vanilla CSS/SCSS/CSS Modules generation, anime.js v4 motion, anti-slop quality gates, and 328+ brand references.
NVIDIA-AI-Blueprints / uiReact and Next.js frontend development standards for Retail-Agentic-Commerce
benjam3n / soStandardized output format for GOSM projects.. Read and execute `/home/ben/Documents/projects/reasoningtool/claude-code-plugin/skills/so/SKILL.md`, applying it to this input: $ARGUMENTS
leye195 / figma-to-code피그마 설계를 분석하여 Dan DevLog (v2) 프로젝트의 Tailwind CSS v4 기반 기술 스택 및 컨벤션에 맞춰 코드로 변환합니다. src/components/common 내의 Flex, Button 등 커스텀 컴포넌트를 우선적으로 활용합니다.
aupowell22-code / lovableReference system prompt and tool schemas for Lovable
smilemin07 / korean-rnd-regs-mcp국가연구개발(정부 R&D) 규정 검토용 MCP 서버 — 혁신법·시행령·행정규칙 55종을 AI로 검색·검토 (Korean national R&D regulations MCP)
gbroques / openafpm-cad-coreRepository containing OpenAFPM wind turbine CAD model.
MageByte-Zero / spec-superflow源码级融合 OpenSpec 规划引擎 + Superpowers 执行纪律的 AI 编程工作流插件。17 平台支持，9 skills，Spec-first，契约驱动。
Paritck / prototype-spec-htmlAn AI agent skill that turns requirement descriptions into shareable HTML prototypes with element-level annotations
mormorbump / go-testfsmによる状態遷移のサンプル
girishr / SpecPilotSpec-driven development (SDD) CLI for AI coding agents (Claude Code, Cursor) - initialize, validate, and sync .specs/ across TypeScript & Node.js projects
