The Agent Skills Directory

[COMMAND_EXECUTION]: The skill defines templates for executing local scripts using the uv package manager. It invokes scripts/cc_math/z3_solve.py and scripts/cc_math/math_scratchpad.py through a runtime.harness module to perform logic-related tasks like proof verification and induction checking.- [SAFE]: No evidence of prompt injection, data exfiltration, obfuscation, or malicious remote code execution was found. The skill follows standard practices for integrating mathematical solvers within a logic-focused environment.

proof-theory