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...
☆ 0查看技能
asimihsan AI Skills
GitHub ↗浏览 asimihsan 维护的已发布 AI 技能，比较用途与说明，并通过来源仓库了解安装方式。
作者统计
已收录技能
10收录技能的仓库 Stars 合计
0仓库 Forks
0平均每个技能的仓库 Stars
0同一仓库中的多个技能可能共享 Stars，合计包含重复仓库数据。
热门分类
近期收录动态
全部技能
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...
☆ 0查看技能
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...
☆ 0查看技能
GitHub
claude-scripts
CLI to search Claude Code conversation history by tool, pattern, or time, and export results.
☆ 0查看技能
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...
☆ 0查看技能
GitHub
using-linear
Use when working with Linear tickets/issues - establishes workflows for creating and updating tickets (issues)
☆ 0查看技能
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...
☆ 0查看技能
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...
☆ 0查看技能
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...
☆ 0查看技能
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...
☆ 0查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。