20:46
2026-07-15
github.com
developer-tools
Polygraph – Now your tests can't lie
Polygraph, a new Claude Code plugin and standalone CLI, uses LLMs to automatically generate formal models of stateful JavaScript code and exhaustively check every reachable state for rule violations, …