feat: add verify-reduction skill#979

Merged

GiggleLiu merged 24 commits intomainfrom

feat/verify-reduction-skill

Apr 6, 2026

Commits on Mar 31, 2026

docs: add design spec for proposed reductions Typst note

zazabap
and
claude
committed

Commits on Apr 1, 2026

feat: add verify-reduction skill for mathematical verification of reductions

zazabap
and
claude
committed
style: add YAML frontmatter + professional tone to verify-reduction skill

zazabap
and
claude
committed
feat: adversarial multi-agent verification in verify-reduction skill

zazabap
and
claude
committed
docs: design spec for verify-reduction skill enhancements

zazabap
and
claude
committed
docs: implementation plan for verify-reduction enhancements

zazabap
and
claude
committed
feat: enhance verify-reduction with test vectors export, typed adversary, pipeline integration

zazabap
and
claude
committed
feat: create add-reduction skill — consumes verified artifacts from verify-reduction
zazabap
committed
feat: register add-reduction skill in CLAUDE.md, update verify-reduction description

zazabap
and
claude
committed
fix: three improvements to verify-reduction and add-reduction skills

zazabap
and
claude
committed
refactor: concise verify-reduction (761→124 lines) + self-contained add-reduction

zazabap
and
claude
committed
fix: restore structural requirements in verify-reduction (124→274 lines)

zazabap
and
claude
committed
fix: harden add-reduction with file-level verification gates

zazabap
and
claude
committed
fix: add CI-equivalent checks to add-reduction pre-commit gate

zazabap
and
claude
committed
fix: correct add-reduction HARD GATE for canonical examples

zazabap
and
claude
committed
feat: parent-side verification + pre-commit hook for add-reduction

zazabap
and
claude
committed

Commits on Apr 2, 2026

fix: strengthen type compatibility gate in verify-reduction skill

zazabap
and
claude
committed