Menü
Route gh-aw workflow create/debug/upgrade requests to the right prompts.
Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.
Run Clang Static Analyzer (scan-build) on Z3 source and log structured findings to z3agent.db.
Measure Z3 performance on a formula or file. Collects wall-clock time, theory solver statistics, memory usage, and conflict counts. Results are logged to z3agent.db for longitudinal tracking.
Translate constraint problems into SMT-LIB2 or Z3 Python API code. Handles common problem classes including scheduling, graph coloring, arithmetic puzzles, and verification conditions.
Parse and interpret Z3 output for human consumption. Handles models, unsat cores, proofs, statistics, and error messages. Translates solver internals into plain-language explanations.
Solve constrained optimization problems using Z3. Supports minimization and maximization of objective functions over integer, real, and bitvector domains.
| name | agentic-workflows |
| description | Route gh-aw workflow create/debug/upgrade requests to the right prompts. |
Use this skill when a user asks to create, update, debug, or upgrade GitHub Agentic Workflows in this repository.
This skill is a dispatcher: identify the task type, load the matching .github/aw/*.md file, and follow it directly. Keep responses concise and ask a clarifying question if the correct prompt is unclear.
Read only the files you need:
Load these files from github/gh-aw (they are not available locally).
.github/aw/create-agentic-workflow.md.github/aw/create-shared-agentic-workflow.md.github/aw/debug-agentic-workflow.md.github/aw/github-agentic-workflows.md.github/aw/update-agentic-workflow.md.github/aw/upgrade-agentic-workflows.mdAfter loading the matching workflow prompt, follow it directly:
.github/aw/create-agentic-workflow.md.github/aw/update-agentic-workflow.md.github/aw/debug-agentic-workflow.md.github/aw/upgrade-agentic-workflows.md.github/aw/create-shared-agentic-workflow.md.github/aw/report.md.github/aw/dependabot.md.github/aw/test-coverage.md.github/aw/asciicharts.md.github/aw/cli-commands.md.github/aw/patterns.md.github/aw/token-optimization.mdWhen the task involves OTEL, OTLP, traces, observability backends, or telemetry-driven analysis, also read and follow skills/otel-queries/SKILL.md after loading the matching workflow prompt.