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...
asimihsan AI Skills
GitHub ↗Explorez les skills IA publiés de asimihsan et consultez leurs instructions source.
Statistiques de l’auteur
Skills indexés
10Étoiles des dépôts des skills indexés
0Forks du dépôt
0Moyenne des étoiles par skill indexé
0Les étoiles d’un dépôt peuvent se répéter entre ses skills.
Catégories populaires
Indexation récente
Explorer
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...
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...
GitHub
claude-scripts
CLI to search Claude Code conversation history by tool, pattern, or time, and export results.
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...
GitHub
using-linear
Use when working with Linear tickets/issues - establishes workflows for creating and updating tickets (issues)
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...
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...
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...
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...
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.