Space: sapman/pcg-demo
title: PCG-MAS · interactive verification demo
sdk: docker
license: mit
short_description: Proof-Carrying Generation for Multi-Agent Systems
Tags: docker, region:us