Plugins

|

|

|

MCP server and skills for formae: manage cloud resources, handle drift, discover infrastructure, and build plugins

Formal modeling and hypothesis-driven debugging using Alloy 6 and Dafny formal verification

Inspect and edit Clojure source files with the formpatch CLI

from eralmansouri/tanstack-claude-plugin

Formspec specification and schema navigator with spec-expert research agent. Provides structured reference maps for 625K+ of spec content and 8K lines of JSON schemas.

Audit your Mac's security posture, understand what each finding means and why it matters, then fix what's safe, all from Claude Code. Wraps the fort CLI over your shell. Read-only by default; never applies a fix without your explicit go-ahead. Findings also map to SOC 2 / ISO 27001 / NIST / CIS if you need audit evidence.

from ricardofrantz/fortran-lsp

Comprehensive Fossil SCM command reference and workflow guidance. Use this skill when the user runs fossil commands, works with Fossil repositories, asks about fossil commit, branch, merge, sync, stash, timeline, or ticketing workflows, or needs help with Fossil vs Git differences.

Corporate Governance Advisor — board resolutions, cap table, equity plan docs

Draft board resolutions and corporate consent documents

Draft equity plan documents and option grant agreements

Survey corporate governance artifacts and flag gaps

from ramonclaudio/skills

from atournayre/claude-marketplace

from EngineerWithAI/engineerwith-agents

Framework updates, migration planning, and architectural transformation workflows

Framework updates, migration planning, and architectural transformation workflows

from Dexploarer/claudius-skills

from Dexploarer/claudius-skills

from Dexploarer/claudius-skills

from Dexploarer/claudius-skills

Framework experts: React, Vue, Angular, Next.js, Django, FastAPI

Skills for using the FrameworkToolbox Swift package, including the @Loggable and #log macros.

from misfitdev/claude-plugins

Benjamin Franklin — the 13 virtues system, the Junto. Grounded in his Autobiography + Isaacson.

from sergio-bershadsky/ai

freee API を MCP 経由で操作するためのスキル。詳細なAPIリファレンス（パラメータ、リクエストボディ、レスポンス情報含む）と、freee-mcp を使用した API 呼び出しガイドを提供。OAuth 認証とトークン管理を自動化し、経費申請、会計データ取得、人事情報管理など、freee の様々な機能を利用可能。