ITF (Informal Trace Format) trace parser for TLA+/Apalache counterexamples
Cross-referenced across 55 tracked directories
#3650
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
3/14/2026
First Seen
Recently added to the ecosystem
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
creamidea
elliot-recall
Recall Desktop SDK
wrsmith108
No description available
glitternetwork
Deploy Your Frontend in a Single Command. Claude Code Skills supported.