cognitive-fab
Popular repositories Loading
-
-
-
polycheck
polycheck PublicA least-privilege linter for Claude Code agent policies: proves whether an agent can reach credential egress with no gate crossed, or hands back the exact witness. Zero-dependency, deterministic, o…
JavaScript
Repositories
- polyflow Public
A workflow engine for AI agents: the agent reasons a workflow, polyflow admits it only if it model-checks, then runs it durably and hands the agent one work order at a time. Ships as an MCP sidecar.
- polygraph Public
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.
- polycrew Public
Several agents - and the people among them - working one polyflow run at the same time. Coordination is a journaled step of a machine that was checked before it loaded.
- polycheck Public
A least-privilege linter for Claude Code agent policies: proves whether an agent can reach credential egress with no gate crossed, or hands back the exact witness. Zero-dependency, deterministic, offline.
- polygraph-demo-daao Public
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…