skill-z3-research
Research Z3/SMT tasks. Invoke for Z3-language research.
Best use case
skill-z3-research is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Research Z3/SMT tasks. Invoke for Z3-language research.
Teams using skill-z3-research should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/skill-z3-research/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How skill-z3-research Compares
| Feature / Agent | skill-z3-research | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Research Z3/SMT tasks. Invoke for Z3-language research.
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# Z3 Research Skill
Thin wrapper that delegates Z3 research to `z3-research-agent` subagent.
## Trigger Conditions
This skill activates when:
- Task language is "z3"
- Research involves SMT solving or constraints
- Z3-specific research is needed
## Execution Flow
### Stage 1: Input Validation
Validate task_number exists.
### Stage 2: Preflight Status Update
Update status to "researching" BEFORE invoking subagent.
### Stage 3: Prepare Delegation Context
Include task_context, focus_prompt, metadata_file_path.
### Stage 4: Invoke Subagent
Use Task tool with subagent_type: "z3-research-agent".
### Stage 5: Parse Subagent Return
Read metadata from `specs/{N}_{SLUG}/.return-meta.json`.
### Stage 6: Update Task Status (Postflight)
Update state.json and TODO.md based on result.
### Stage 7: Link Artifacts
Add research artifact to state.json.
### Stage 8: Git Commit
Commit changes with session ID.
### Stage 9: Return Brief Summary
## Return Format
Brief text summary (NOT JSON).Related Skills
skill-team-research
Orchestrate multi-agent research with wave-based parallel execution. Spawns 2-4 teammates for diverse investigation angles and synthesizes findings.
skill-researcher
Conduct general research using web search, documentation, and codebase exploration. Invoke for general research tasks.
skill-web-research
Conduct web development research using framework docs and codebase exploration. Invoke for web research tasks.
skill-typst-research
Research Typst documentation tasks. Invoke for Typst-language research.
skill-python-research
Research Python development tasks. Invoke for Python-language research.
skill-neovim-research
Conduct Neovim configuration research using plugin docs and codebase exploration. Invoke for neovim research tasks.
skill-nix-research
Conduct Nix/NixOS/Home Manager research using MCP-NixOS, web docs, and codebase exploration. Invoke for nix research tasks.
skill-lean-research
Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.
skill-latex-research
Research LaTeX documentation tasks. Invoke for LaTeX-language research.
skill-deck-research
Pitch deck content research through material synthesis
skill-physics-research
Research physics formalization tasks using domain context and codebase exploration. Invoke for physics-language research involving dynamical systems, chaos theory, and related formalization.
skill-math-research
Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.