Asim Ihsan
Community@asimihsan · Brooklyn, NY
Agent Skills by Asim Ihsan
Showing 10 vetted skills indexed across 1 GitHub repositories.
asimihsanfstar
Verify F* code with refinement types and extract to C via Karamel.
asimihsanusing-linear
Create and update Linear tickets with project assignments and sub-issues.
asimihsancodex-verifier
Run Codex CLI verification prompts and capture results to a temporary output file.
asimihsanclaude-scripts
Search Claude Code conversation history by tool, pattern, or time and export results.
asimihsanlearning-style
Guides learners to co-create code snippets with concise educational explanations during interactive sessions.
asimihsangithub-actions-runs
Trigger, watch, list, cancel, and download GitHub Actions runs via CLI.
asimihsanathena-queries
Query Athena telemetry tables and export filtered results from Glue catalogs.
asimihsantelemetry-redrive
Redrive telemetry data through the telemetry-parser-service Lambda to repair corrupted Parquet output.
asimihsanjujutsu
Manage jj working-copy operations and revisions with Git-compatible workflows.
asimihsanaws-cli
Enforce explicit AWS CLI profile and region settings across dev, stage, and prod environments.