fsharp-security-review

Audit F# code for input validation, serialization, secrets, and dependency vulnerabilities.

Updated Oct 11, 2025
One-click install
npx skills add https://github.com/bromanko/llm-agents --skill fsharp-security-review
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: fsharp-security-review
Source: https://github.com/bromanko/llm-agents/tree/main/skills/fsharp-security-review
Command: npx skills add https://github.com/bromanko/llm-agents --skill fsharp-security-review

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

What problem does it solve?

This Skill addresses the critical need for robust security in F# applications by systematically identifying and mitigating potential vulnerabilities, ensuring code integrity and protecting against common attack vectors.

Core Features & Use Cases

  • Comprehensive Security Audits: Analyzes F# code for input validation flaws, serialization vulnerabilities, secrets management issues, and dependency risks.
  • F#-Specific Guidance: Provides tailored rules to avoid false positives related to F#'s type system and immutability, focusing on critical boundary checks.
  • Use Case: A development team can use this Skill to perform a pre-deployment security review of their F# microservice, ensuring it meets industry security standards and is resilient to common web exploits.

Quick Start

Use the fsharp-security-review skill to perform a security audit on the F# code in the current directory.

Frequently Asked Questions about fsharp-security-review

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I audit F# code for security vulnerabilities?

To audit F# code for security vulnerabilities, you can use this skill to analyze input validation, serialization safety, secrets handling, and dependency risks. It systematically identifies potential flaws by checking unsafe interop and boundary data flow.

What are common F# security pitfalls related to the type system?

Common F# security pitfalls involve unsafe interop and boundary data flow where the type system's immutability may create false positives. This audit focuses on critical boundary checks rather than assuming type safety eliminates all input validation or serialization vulnerabilities.

How do I perform a pre-deployment security review of an F# microservice?

Performing a pre-deployment security review of an F# microservice involves analyzing the codebase for input validation flaws, secrets management issues, and dependency risks. This skill systematically checks the directory's code to ensure resilience against common web exploits.

Does this F# security audit check for serialization vulnerabilities?

Yes, this F# security audit checks for serialization vulnerabilities along with input validation flaws, secrets handling issues, and dependency risks. It analyzes code to ensure data boundary checks are robust against common attack vectors.

How does the audit handle false positives in F# code?

The audit handles false positives in F# code by applying tailored rules that account for F#'s type system and immutability. It filters results based on shared security review guidelines, focusing on genuine boundary data flow and unsafe interop issues.

What's the best way to find secrets handling issues in F# applications?

The best way to find secrets handling issues in F# applications is to run an in-depth security audit on the current directory. This skill systematically analyzes the code to identify hardcoded secrets and mitigate potential exposure risks.