categorical-property-testing
Pass
Audited by Gen Agent Trust Hub on Oct 2, 2026
Risk Level: SAFEEXTERNAL_DOWNLOADSCOMMAND_EXECUTION
Full Analysis
- [EXTERNAL_DOWNLOADS]: The skill references standard, industry-recognized TypeScript libraries for property-based testing and functional programming.
- Evidence: Mentions installation of
fp-ts,fast-check, andvitestvia npm. - [COMMAND_EXECUTION]: Includes common package manager commands for environment setup.
- Evidence: Provides
npm installinstructions for required dependencies. - [SAFE]: The skill is a technical guide for validating categorical laws (Functor, Monad, etc.) in TypeScript. It contains no evidence of prompt injection, obfuscation, data exfiltration, or persistence mechanisms.
Audit Metadata