返回 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日

0 (0 %)自 2026年9月23日 起

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 星标
精确数值 · 19 次测量
测量时间星标变化
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
140
14·