optimize-fsharp-typecheck-graph
Pass
Audited by Gen Agent Trust Hub on Oct 13, 2026
Risk Level: SAFE
Full Analysis
- [COMMAND_EXECUTION]: The skill instructs the agent to perform project builds and run tests to validate performance and compatibility changes. These operations involve executing standard F# toolchain commands (e.g.,
dotnet build,dotnet test) which is consistent with the skill's intended purpose as a developer tool. - [INDIRECT_PROMPT_INJECTION]: The skill requires the agent to read and interpret F# source files (
.fs,.fsi), project configurations (.fsproj), and compiler diagnostic outputs (.graph.md,report.csv). - Ingestion points: F# source files, project files, and compiler logs (
.graph.md,report.csv) located in the project directory. - Boundary markers: None explicitly defined in the instructions for separating untrusted data from the prompt.
- Capability inventory: File system read/write for refactoring, and shell command execution for building and testing projects.
- Sanitization: Not applicable as the skill performs static analysis and standard build tasks on local project code.
- [SAFE]: No obfuscation, prompt injection, or data exfiltration patterns were detected. The compiler flags recommended (
--test:GraphBasedChecking,--test:DumpCheckingGraph,--times:report.csv) are legitimate F# diagnostic tools for troubleshooting build performance.
Audit Metadata