cognitive-fab/polygraph · skills/capture-ready/SKILL.md · Author stateful code capture-ready BY CONSTRUCTION, in ANY language — so verification never needs an instrumentation…
cognitive-fab/polygraph · skills/polygen/SKILL.md · Write NEW stateful code that is verifiable from the moment it's written, instead of auditing code that already exists…
cognitive-fab/polygraph · skills/polygraph/SKILL.md · A polygraph for your state machine. Audit a stateful piece of code end-to-end: YOU (the agent) instrument a copy, build…
cognitive-fab/polygraph · skills/polynv/SKILL.md · Elicit the invariants for a state machine — the plugin takes the lead. Harvest candidate invariants from the contract's…
cognitive-fab/polygraph · skills/polyvers/SKILL.md · Check whether a state-machine version change is safe to ship against the live fleet, and produce the migration when the…
cognitive-fab/polygraph · skills/workflow/SKILL.md · Build an LLM-era feature as a WORKFLOW, not an agentic loop — the composition skill that drives the whole toolset…