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查看技能
区块链 AI 技能
发现 区块链 相关 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...
☆ 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
add-segment
Add a new podcast segment type to the Data Over Dogma segment detection and verification system. Use when the user asks to add a new segment, create a segment, or add a segment type like "Getting Angelic" or "G...
☆ 0查看技能
GitHub
oversized-skill
A skill with an oversized SKILL.md file for testing warnings
☆ 0查看技能
GitHub
scottadams-reframe
Reframe problems using Scott Adams' philosophy from "Reframe Your Brain". User describes a problem, concern, or situation and gets sardonic, pragmatic perspective shifts with actionable steps and custom affirma...
☆ 0查看技能
GitHub
polars
Expert guidance for Polars dataframe manipulation in Python. Use this skill when working with dataframes, data processing, ETL pipelines, or any task involving tabular data manipulation. Provides best practices...
☆ 0查看技能
GitHub
copy-doctor
Marketing copywriting expert for reviewing and improving UI copy. Use when evaluating headlines, subheads, taglines, CTAs, button text, microcopy. Improving clarity, succinctness, or persuasiveness of existing...
☆ 0查看技能
GitHub
domain-driven-design
Use this when asked to make changes to or reason about a domain capability, handler, query, command, action, model or service.
☆ 0查看技能
GitHub
api-design
Use this when reasoning about API surfaces, packages, protobuf schema, versioning, compatibility adapters or domain action handlers.
☆ 0查看技能
GitHub
domain-modeling
Use this when asked to model a domain, or think about domain boundaries, or construct schema to serve customer needs.
☆ 0查看技能
GitHub
website-development
Use when working on Everything Machine frontend — JavaScript modules, journal entries, viewers, grid layout, bubbles, or CSS styling.
☆ 0查看技能
GitHub
reflection-interview
Interactive interview for journal entry reflections. Covers all 5 research sub-questions (Workflow, Autorschaft, Iteration, Scheitern, Ästhetik) aligned with the main research question.
☆ 0查看技能
GitHub
thesis-writing
Thesis writing skill for MA Artistic Research. Covers academic requirements, submission format, and literature review workflow.
☆ 0查看技能
GitHub
roadmap
Display ROADMAP.md tasks and offer interactive task selection with sub-agent suggestions.
☆ 0查看技能
GitHub
claude-code-expert
Expert Claude Code engineer with deep knowledge of skills authoring, Agent SDK (TypeScript/Python), Claude API, prompt engineering, MCP servers, hooks, slash commands, and tool use. Use when creating skills, bu...
☆ 0查看技能
GitHub
swift-ios-macos-expert
Expert iOS/macOS development with Swift 6, SwiftUI, SwiftData, CloudKit, and modern Apple frameworks. Use when writing Swift code, building iOS/macOS apps, implementing SwiftData models, creating SwiftUI views,...
☆ 0查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。