返回 Skills

polygraph

技能GitHub活跃JavaScript

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.

描述来源: 原始来源

打开规范来源

测量时间: 2026年10月23日 · 60 次观测

领域 & 用途

领域
智能体、技能与 MCP
用途
智能体技能, 代码助手

安装

/plugin marketplace add cognitive-fab/polygraph

到信息源核实

请在官方文档中核实兼容性和前提条件。

https://github.com/cognitive-fab/polygraph

分类

类型
工具

测量历史

可比较的读数按信号和单位分组。

星标

14星标 · 2026年10月23日

+5 (+55.6 %)自 2026年8月10日 起

2026年8月10日 : 9 星标2026年8月11日 : 9 星标2026年8月12日 : 9 星标2026年8月13日 : 9 星标2026年8月14日 : 10 星标2026年8月15日 : 10 星标2026年8月16日 : 10 星标2026年8月17日 : 10 星标2026年8月18日 : 10 星标2026年8月19日 : 10 星标2026年8月20日 : 10 星标2026年8月21日 : 10 星标2026年8月22日 : 10 星标2026年8月23日 : 10 星标2026年8月24日 : 10 星标2026年8月25日 : 10 星标2026年8月26日 : 10 星标2026年8月27日 : 10 星标2026年8月28日 : 10 星标2026年8月29日 : 10 星标2026年8月30日 : 10 星标2026年8月31日 : 11 星标2026年9月2日 : 11 星标2026年9月4日 : 11 星标2026年9月5日 : 11 星标2026年9月6日 : 11 星标2026年9月7日 : 11 星标2026年9月8日 : 11 星标2026年9月9日 : 11 星标2026年9月10日 : 11 星标2026年9月11日 : 11 星标2026年9月12日 : 11 星标2026年9月13日 : 11 星标2026年9月14日 : 11 星标2026年9月15日 : 11 星标2026年9月16日 : 11 星标2026年9月17日 : 11 星标2026年9月18日 : 11 星标2026年9月19日 : 11 星标2026年9月20日 : 11 星标2026年9月22日 : 11 星标2026年9月23日 : 14 星标2026年10月6日 : 14 星标2026年10月7日 : 14 星标2026年10月8日 : 14 星标2026年10月9日 : 14 星标2026年10月10日 : 14 星标2026年10月11日 : 14 星标2026年10月12日 : 14 星标2026年10月13日 : 14 星标2026年10月14日 : 14 星标2026年10月15日 : 14 星标2026年10月16日 : 14 星标2026年10月17日 : 14 星标2026年10月18日 : 14 星标2026年10月19日 : 14 星标2026年10月20日 : 14 星标2026年10月21日 : 14 星标2026年10月22日 : 14 星标2026年10月23日 : 14 星标
精确数值 · 60 次测量
测量时间星标变化
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
14+3
110
110
110
110
110
110
110
110
110
110
110
110
110
110
110
110
110
110
110
11+1
100
100
100
100
100
100
100
100
100
100
100
100
100
100
100
100
10+1
90
90
90
9·