- z3db.py: rename _find_repo_root to find_repo_root (make public) and
add require_repo_root helper that exits on failure; update docstring
and internal caller; fix unnecessary string literal split in log()
- memory_safety.py: remove 13-line duplicate find_repo_root function;
import and use require_repo_root from z3db instead
- static_analysis.py: simplify two-line label assignment in
print_findings to a single expression using 'or'
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Each step in every SKILL.md now carries labeled Action, Expectation,
and Result blocks so the agent can mechanically execute, verify, and
branch at each stage. Format chosen after comparing three variants
(indented blocks, inline keywords, tables) on a prove-validity
simulation; indented blocks scored highest on routing completeness
and checkability.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Introduce .github/skills/ with solve, prove, optimize, simplify,
encode, explain, benchmark, memory-safety, static-analysis, and
deeptest skills. Each skill follows a SKILL.md + scripts/ pattern
with Python scripts backed by a shared SQLite logging library
(z3db.py). Two orchestrator agents (z3-solver, z3-verifier) route
requests to the appropriate skills.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
