# VeriSafe Agent

Runtime verification framework for Android GUI agents that checks proposed actions against logical rules derived from user instructions and developer-defined app states.

- Catalog URL: https://awesomecua.github.io/resources/github-verisafeagent-verisafeagent/
- Original source: https://github.com/VeriSafeAgent/VeriSafeAgent
- Kind: framework
- Review: curated
- Scope: core
- Environments: android
- Topics: safety-security, mobile-navigation, state-tracking
- Evidence checked: 2026-10-18T10:59:55Z
- ID: github:verisafeagent/verisafeagent

## Limitations

The verification method requires developers to supply app-state predicates and transition hooks. The paper-to-repository relation is supported by the exact-version paper, not inferred from the repository name.

- Record JSON: https://awesomecua.github.io/resources/github-verisafeagent-verisafeagent/record.json

## License declarations

- code: not recorded
- data: not recorded
- document: not recorded
- weights: not recorded

## Primary evidence

- https://raw.githubusercontent.com/VeriSafeAgent/VeriSafeAgent/HEAD/README.md (retrieved 2026-10-18T10:59:55Z; SHA-256 2403ef3ec300e257dc631e3c569fc9aabaab1d3f385ac37abe1e4021aaae6e21)
- https://arxiv.org/html/2503.18492v2 (retrieved 2026-10-18T13:06:20.028238+00:00; SHA-256 9b04efe4136a39e3e5f21a1d3bb8a44075f1370bdbeec6a4307783f3836f8311)