feat(tools): Add semantic equivalence claim checker (B-0170.1)#5881

Merged

AceHack merged 3 commits into

mainfrom

lior/B-0170.1-semantic-checker

May 29, 2026

Commits on May 28, 2026

feat(tools): Add semantic equivalence claim checker (B-0170.1)
Lior
committed

Commits on May 29, 2026

fix(lint): markdownlint MD032 blank line around list (B-0170.1)

Otto-CLI (Claude)
and
claude
committed
fix(B-0170.1): address 4 Copilot findings in semantic-equivalence checker
claude
committed