TY  - RPRT
TI  - Agentproof: Static Verification of Agent Workflow Graphs
AU  - Melwin Xavier
AU  - Vaisakh M A
AU  - Melveena Jolly
AU  - Midhun Xavier
PY  - 2026
UR  - https://arxiv.org/abs/2603.20356
ID  - 2603.20356
ER  -