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 for bugs, finding violations like double ch…