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
- polyjit Public
Do generated agent harnesses preserve hard constraints? Measurement of JIT-Agent (arXiv:2608.25593) against the CIKM'26 compaction-cliff protocol. 1.7% survive generation; 0% survive two compaction rounds.
- 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…