ツールの説明は英語です。
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.
測定履歴
| 日付 | 値 | 指標 |
|---|---|---|
| 11 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 10 | GitHubスター | |
| 9 | GitHubスター | |
| 9 | GitHubスター | |
| 9 | GitHubスター | |
| 9 | GitHubスター |
分類
- 分野
- 種類
- エージェントスキル
- 用途
近いツール
これらは同じトピックを宣言しています。類似性は推定していません。共通するトピックのみを示します。