工具说明为英文。

polygraph — 工具资料与历史

A polygraph for your state machine: an LLM derives a formal model from your code, then Polygraph replays real traces against it and exhaustively model-checks it against your invariants.

活跃

官方来源 ↗

语言
JavaScript
许可证
Apache-2.0
创建时间
最近活动
主题
  • claude-code
  • claude-code-plugin
  • formal-methods
  • invariants
  • javascript
  • llm
  • model-checking
  • state-machine
  • trace-validation
  • verification

安装 /plugin marketplace add cognitive-fab/polygraph

当前测量

11GitHub 星标+1 (+10.0 %)
实测增长

Momentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.

测量历史

90 天 · 90 次测量上限
日期数值指标
11GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
10GitHub 星标
9GitHub 星标
9GitHub 星标
9GitHub 星标
9GitHub 星标

分类

领域
类型
智能体技能
用途

这些条目声明了相同的主题。此处不推断相似性，仅列出共同的主题。