Skill Store 33
Ryan Sweet

Ryan Sweet

@rysweet

129 skills · 76 GitHub stars

Ryan Sweet publishes skills that help an AI agent with formal verification, including writing TLA+ specifications and running model checks, alongside architecture visualization through Mermaid diagrams covering flowcharts, sequence diagrams, state machines, and entity relationship diagrams. His catalog also covers context window management, workstream coordination, roadmap and milestone tracking, environmental impact analysis, and converting Claude Code or Copilot sessions into reusable goal-seeking agents. Much of his work targets the amplihack workflow ecosystem, which gives his skills a consistent focus on structured, verifiable engineering processes.

Amplihack

129 skills · 76 stars