Run AddressSanitizer and UndefinedBehaviorSanitizer on the Z3 test suite to detect memory errors, undefined behavior, and leaks. Logs each finding to z3agent.db.

2026-06-0812.3k

static-analysis

Z3Prover/z3

Run Clang Static Analyzer (scan-build) on Z3 source and log structured findings to z3agent.db.

2026-06-0812.3k

benchmark

Z3Prover/z3

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.

2026-03-1112.3k

encode

Z3Prover/z3

Translate constraint problems into SMT-LIB2 or Z3 Python API code. Handles common problem classes including scheduling, graph coloring, arithmetic puzzles, and verification conditions.

2026-03-1112.3k

explain

Z3Prover/z3

Parse and interpret Z3 output for human consumption. Handles models, unsat cores, proofs, statistics, and error messages. Translates solver internals into plain-language explanations.

2026-03-1112.3k

optimize

Z3Prover/z3

Solve constrained optimization problems using Z3. Supports minimization and maximization of objective functions over integer, real, and bitvector domains.

2026-03-1112.3k

name	agentic-workflows
description	Route gh-aw workflow create/debug/upgrade requests to the right prompts.

Agentic Workflows Router

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.md

After loading the matching workflow prompt, follow it directly:

Create new workflows: .github/aw/create-agentic-workflow.md
Update existing workflows: .github/aw/update-agentic-workflow.md
Debug, audit, or investigate workflows: .github/aw/debug-agentic-workflow.md
Upgrade workflows and fix deprecations: .github/aw/upgrade-agentic-workflows.md
Create shared components or MCP wrappers: .github/aw/create-shared-agentic-workflow.md
Create report-generating workflows: .github/aw/report.md
Fix Dependabot manifest PRs: .github/aw/dependabot.md
Analyze coverage workflows: .github/aw/test-coverage.md
Render compact markdown charts: .github/aw/asciicharts.md
Map CLI commands to MCP usage: .github/aw/cli-commands.md
Choose workflow architecture and patterns: .github/aw/patterns.md
Optimize token usage and cost: .github/aw/token-optimization.md

When 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.