Url Reputation
not configuredChecked: 2026-10-23T13:05:13.967290+00:00
Repository URL only. No binaries or source files were submitted.
VirusTotal credentials are not configured.
What it is for
Tamarin files parser and cryptographic protocols models
Usage guide
A reviewed usage guide has not been published. Consult the original documentation for setup and usage; commands are not generated or assumed.
Security checks & evidence
Checks cover the specific scope below. No result guarantees that a tool is safe to execute.
Static Readme
completedChecked: 2026-10-23T13:05:13.850772+00:00
README text at commit 6cf4f44a80673b4bae46c9e2c3b53c0c7ad5d8f5 only; source files and binaries were not scanned.
Patterns require review and do not establish malicious behavior.