solution-explainer
Generate clear explanations of algorithm solutions
Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Generate clear explanations of algorithm solutions
Assist in constructing type soundness proofs using progress and preservation theorems
Develop, optimize, and deploy Apache Spark jobs for large-scale batch processing, streaming, and machine learning workloads.
Expert skill for designing intermediate representations and implementing SSA construction
SSA-form transformations and optimizations for compiler development
State synchronization skill for delta compression and interpolation.
Full state vector simulation skill for exact quantum circuit evaluation