rudin-real-complex-analysis

Pass

Audited by Gen Agent Trust Hub on Sep 18, 2026

Risk Level: SAFE
Full Analysis
  • [SAFE]: The skill serves as an academic reference for a graduate-level mathematics textbook. It provides templates for using local computational tools without any suspicious behavior.
  • [COMMAND_EXECUTION]: The skill utilizes local Python scripts (scripts/ragie_query.py, scripts/sympy_compute.py, scripts/z3_solve.py) to perform mathematical tasks. These scripts are executed via the uv package manager, which is a standard developer tool for managing Python environments.
  • [INDIRECT_PROMPT_INJECTION]: The skill contains a retrieval-augmented generation (RAG) tool that queries a specific partition of mathematical textbooks. This ingestion surface is considered safe given the controlled and academic nature of the data source.
  • [DATA_EXFILTRATION]: No network exfiltration, hardcoded credentials, or sensitive file access patterns were detected.
Audit Metadata
Risk Level
SAFE
Analyzed
Sep 18, 2026, 05:10 PM
Security Audit — agent-trust-hub — rudin-real-complex-analysis