GitHub
fstar
F* proof-oriented programming language for verified software development. Use when: (1) writing or verifying F* code (.fst/.fsti files), (2) understanding verification errors from Z3/SMT, (3) learning dependent...
☆ 0View skill
asimihsan AI Skills
GitHub ↗Browse published AI skills maintained by asimihsan. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
10Repository stars across indexed skills
0Repository forks
0Average repository stars per indexed skill
0Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
aws-cli
AWS CLI commands for dev/stage/prod environments. Use when running any aws CLI command, interacting with S3, Lambda, Glue, Athena, CloudWatch, or other AWS services. Ensures correct profile and region are use...
☆ 0View skill
GitHub
learning-style
Learning-mode output style that mixes interactive coding with concise educational explanations. Use when the user asks for "learning mode", wants to co-write code, or requests a teaching/mentoring style: ask th...
☆ 0View skill
GitHub
claude-scripts
CLI to search Claude Code conversation history by tool, pattern, or time, and export results.
☆ 0View skill
GitHub
jujutsu
Jujutsu (jj) version control commands. Use when working in a jj repository, running version control operations, viewing commit history, managing bookmarks (branches), creating or splitting commits, pushing to...
☆ 0View skill
GitHub
using-linear
Use when working with Linear tickets/issues - establishes workflows for creating and updating tickets (issues)
☆ 0View skill
GitHub
athena-queries
Run AWS Athena queries against telemetry data. Use when executing SQL against telemetry-parser-db (raw Parquet from telemetry-parser-service) or telemetry_alerts (DBT-transformed tables). Also for Glue catalo...
☆ 0View skill
GitHub
github-actions-runs
Automate and inspect GitHub Actions runs with the asim-utilities Python library/CLI. Use when triggering workflows, listing recent runs or failures, waiting/canceling runs on job failure, or downloading run log...
☆ 0View skill
GitHub
telemetry-redrive
Redrive telemetry data through the telemetry-parser-service Lambda. Use when reprocessing raw JSONL files, fixing corrupted Parquet output, or validating parser changes. Supports single file, prefix-based, Parq...
☆ 0View skill
GitHub
loglens
Query signals pipeline OTLP logs via the loglens Athena-backed CLI. Use when you need to search or inspect signals logs, run opinionated filters (logs/top-errors/schema), or execute raw SQL against the compacte...
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.