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