cs-skills
Pass
Audited by Gen Agent Trust Hub on Mar 31, 2026
Risk Level: SAFE
Full Analysis
- [SAFE]: The skill is a collection of educational resources and guides for computer science research. It does not contain any hidden or malicious instructions.
- [EXTERNAL_DOWNLOADS]: The skill provides integration examples for reputable academic APIs such as DBLP, arXiv, and Software Heritage. These interactions are standard for research workflows and target well-known, trusted academic infrastructure.
- [COMMAND_EXECUTION]: Technical guides within the skill include code snippets demonstrating the use of research tools like the TLA+ model checker and the
radoncode metrics library. These are presented as educational examples for the user and do not involve unauthorized or hidden command execution.
Audit Metadata