Development skills

Browse reusable Agent Skills, each with a clear purpose and practical guidance.

soundness-proof-assistant

Assist in constructing type soundness proofs using progress and preservation theorems

1.55k repo starsObserved in 2 repos
Development
GitHub

spark-jobs

Develop, optimize, and deploy Apache Spark jobs for large-scale batch processing, streaming, and machine learning workloads.

1.55k repo starsObserved in 2 repos
Development
GitHub

SSA/IR Design

Expert skill for designing intermediate representations and implementing SSA construction

1.55k repo starsObserved in 2 repos
Development
GitHub

sse

Server-Sent Events implementation, streaming patterns, and real-time updates.

1.55k repo starsObserved in 2 repos
Development
GitHub

state-sync

State synchronization skill for delta compression and interpolation.

1.55k repo starsObserved in 2 repos
Development
GitHub

statevector-simulator

Full state vector simulation skill for exact quantum circuit evaluation

1.55k repo starsObserved in 2 repos
Development
GitHub

steam-sdk

Steamworks skill for achievements and cloud saves.

1.55k repo starsObserved in 2 repos
Development
GitHub

storybook

Storybook configuration, stories, addons, interaction testing, and documentation.

1.55k repo starsObserved in 2 repos
Development
GitHub