MCP servers and skills: search, filter by where they run, and compare.
Nothing matches every word exactly, so these are the closest matches.
Agent Skills for traceable requirements, independent verification, human approval gates, and auditable AI-assisted engineering. Supports Claude Code, Cursor, VS Code, and GitHub Copilot; ISO 9001/2700
SkillCC-BY-SA-4.0★ 54No key
Paper Algorithm - An AI-agent skill set that turns one sentence into a finished voiceover video. | 纸上算法 · 一句话到成片的口播视频生产线：选题、写稿、出片、发布计划。
SkillCC-BY-SA-4.0★ 33No key
Claude Skill: extract cryptographic protocol message flow from code, RFCs, ProVerif or Tamarin models into Mermaid + ASCII sequence diagrams
SkillCC-BY-SA-4.0★ 5No key
MCP server for FreeCAD — 32 tools for AI-assisted 3D CAD modeling
DockerLGPL-2.1★ 59No key
SkillMPL-2.0★ 24No key
Transform monolithic Terraform configurations into reusable, maintainable modules following HashiCorp's module design principles and community best practices.
OfficialSkillMPL-2.0★ 894 in collectionNo key
Field-tested reference for Arma Reforger / Enfusion mod development — Blender-to-Enfusion pipeline, terrain and surface materials, AI behaviour trees, rigging, and pre-release validation.
SkillCC-BY-SA-4.0★ 3Few starsNo key
AI-powered assistant workbench for FreeCAD — generate 3D models from natural language
SkillLGPL-2.1★ 574No key
Who stands behind it
