| Mode | Name | Size |
| 100644 | .gitignore | 20 |
| 100644 | LICENSE | 1729 |
| 100644 | README.md | 770 |
| 100644 | ccai-2507.12713.pdf (not shown) | 327583 |
| 100755 | checker | 950 |
| 100644 | example.txt | 265 |
git clone https://github.com/equwal/proxyverif
| Mode | Name | Size |
| 100644 | .gitignore | 20 |
| 100644 | LICENSE | 1729 |
| 100644 | README.md | 770 |
| 100644 | ccai-2507.12713.pdf (not shown) | 327583 |
| 100755 | checker | 950 |
| 100644 | example.txt | 265 |