The Agent Skills Directory

[SAFE]: All temporal logic validation and format conversion tasks are performed locally using provided Python scripts (validate_formula.py and convert_format.py). These scripts use standard library modules for regex-based parsing and string manipulation without any dangerous calls like eval() or exec().\n- [SAFE]: The formula validation script implements a restrictive character whitelist (alphanumeric and logic operators), which effectively prevents malicious input from causing unintended behavior during script execution.\n- [SAFE]: No network operations, hardcoded credentials, or access to sensitive file paths were detected. The skill is entirely self-contained.\n- [SAFE]: No persistence mechanisms, privilege escalation attempts, or obfuscation techniques (such as Base64 encoding of commands) were found in the code or documentation.

specification-to-temporal-logic-generator