The Agent Skills Directory

[SAFE]: The skill is purpose-built for mathematical reasoning and proof construction (number theory, algebra, analysis, etc.).
[SAFE]: No network operations (curl, wget, fetch) or external data exfiltration patterns were detected.
[SAFE]: The skill explicitly defines its scope to include 'no code execution' and 'no file system writes beyond the Markdown artifact'.
[SAFE]: No obfuscation, hardcoded credentials, or privilege escalation mechanisms are present.
[SAFE]: The use of @include for a base contract is a standard platform mechanism and does not introduce security risks in this context.

math-pure-proofs