JoMinsu-KU/pcag

PCAG is an academic-stage prototype (indicated by the 'KU' suffix for Korea University and low engagement signals: 1 star, 0 forks) targeting a very high-stakes niche: the intersection of AI agents and Industrial Control Systems (ICS). The core concept of 'Proof-Carrying Action' is a clever application of Proof-Carrying Code (PCC) to the LLM agent problem, ensuring that an agent's output is not just 'likely' correct, but mathematically verified against industrial safety invariants (e.g., ensuring a valve doesn't exceed a pressure threshold). While the concept is theoretically robust, the project currently lacks the engineering depth or community support required for industrial adoption. Defensibility is low (2/10) because it is presently a research artifact rather than a hardened product. However, Frontier Lab risk is low; OpenAI and Google are focused on general reasoning and are unlikely to build deep-stack OT safety gateways that require knowledge of PLC logic and industrial safety standards (IEC 61131/61508). The primary threat comes from industrial automation giants (Siemens, Rockwell, Honeywell) or OT security specialists (Claroty, Dragos) who could integrate similar deterministic verification layers into their existing edge gateways. For this project to gain a moat, it would need to move beyond a prototype and integrate deeply with specific OT communication stacks and formal specification languages that engineers can actually use.