tfsec Static Security Scanner for Terraform Code

Name: tfsec Static Security Scanner for Terraform Code
Rating: 4.9 (18 reviews)
Author: Aqua Security

Verified Secure

Created by Aqua Security•devops Workflow

Scan Terraform templates for security vulnerabilities and compliance misconfigurations.

Supported Runtimes:codexclaude-codecursorwindsurf

Universal 1-Click Installer

mkdir -p ~/.agents/skills/tfsec-static-security-scanner && curl -fsSL https://askills.dev/api/skills/tfsec-static-security-scanner/raw -o ~/.agents/skills/tfsec-static-security-scanner/SKILL.md

Installs globally to ~/.agents/skills/tfsec-static-security-scanner/SKILL.md

•Raw Endpoint

Client Trigger & Invocation Simulator

Interactive Agent Cheatsheet

Codex Native Trigger Pattern

Zero-Guessing Syntax

$tfsec-static-security-scanner <your task>

Type `$tfsec-static-security-scanner` in the chat or invoke via natural language. Codex automatically identifies the skill from ~/.agents/skills or project .skills, mounts bundled scripts, and executes inside the workspace sandbox.

Ready-to-Run Prompt for Codex NativeClick to copy

$tfsec-static-security-scanner Run tfsec across an enterprise Terraform codebase and identify critical unencrypted database volumes.

Agent Runtime Simulation (Codex Native)

user@agent:~$ $tfsec-static-security-scanner Run tfsec across an enterprise Terraform cod...

Click "Test Trigger Simulation" above to see how Codex Native discovers and runs tfsec Static Security Scanner for Terraform Code in real-time.

Overview & Problem Solved

When modern frontier LLMs (like Claude 3.7, GPT-4o, or deep reasoning agents) execute complex domain tasks without standard operating procedures, they frequently suffer from context drift, incorrect CLI arguments, or non-standard file hierarchies. tfsec Static Security Scanner for Terraform Code eliminates probabilistic guessing by supplying the Agent with an authoritative, sandboxed execution specification.

By packaging verified workflows into a structured SKILL.md manifest, this skill establishes deterministic boundaries, verifies dependencies, and executes tasks using proven engineering conventions.

Operational Impact: Without Skill vs. With Skill

Raw frontier models possess deep knowledge, but probabilistic prompting lacks rigid engineering guardrails. Packaging tfsec Static Security Scanner for Terraform Code into a verified SKILL.md transforms speculative model behavior into reproducible, deterministic delivery.

Without Skill (Raw Probabilistic LLM)

High Failure Risk

Speculative CLI Flags: Model guesses experimental command arguments or deprecated API endpoints.
Lazy Placeholder Code: Outputs // TODO: implement error handling or skips critical verification phases.
Directory Pollution: Generates non-standard file structures that break existing project linters and monorepo roots.
Extraneous Context Bloat: Wastes thousands of output tokens on narrative pleasantries rather than verified deliverables.

// Raw LLM output (Prone to regressions):

I will now write your code. Note that you may need to install some packages...

function process() {
  // TODO: Connect database here
  console.log("Done");
}

⚠️ Unverified: missing types, missing schema validations, no self-healing check.

With tfsec Static Security Scanner for Terraform Code (Deterministic Agent SOP)

Deterministic

Codified Workflow Stages: Follows strict step-by-step algorithms explicitly codified in SKILL.md.
Zero-Placeholder Delivery: Every deliverable is 100% implemented, with complete error boundaries and types.
Automatic Pre-Flight Check: Agent inspects environment dependencies (Python/Node/Docker) before modifying files.
Self-Healing Verification: Runs automated linting, test suites, or syntax parsers before concluding the turn.

// SKILL.md SOP Output (Verified & Sandboxed):

[Stage 1] Pre-flight: schema parsed & dependencies locked.

export async function execute() {
  const validated = schema.parse(input);
  return await auditAndPersist(validated);
}

Passed 100% static typecheck & workspace sandbox rules.

Core Capabilities & Guarantees

Deterministic SOP Enforcement

Follows pre-tested instructions and step-by-step algorithms, avoiding experimental or hallucinated flags.

Multi-Runtime Isolation

Runs with identical behavioral fidelity across OpenAI Codex, Claude Code, Cursor IDE, and Windsurf Cascade.

Sandbox-Scoped Boundaries

Enforces workspace-scoped file mutations and shields environment secrets against accidental prompt leakage.

Self-Healing QA Verification

Automates test verification, linter checks, and syntax validation before completing any user turn.

Agent Execution Pipeline

Intent Matching & Context Ingestion

The agent scans the user request against the skill's YAML frontmatter triggers and loads the verified instructions into active working memory.

Toolchain & Dependency Validation

The runtime verifies that necessary tools, interpreters, and environment configurations exist within the workspace sandbox before proceeding.

Deterministic Execution & Delivery

The agent executes the codified SOP, runs verification checks, and outputs high-fidelity deliverables without extraneous narration.

Validated Prompt Templates

(Click to copy)

“Run tfsec across an enterprise Terraform codebase and identify critical unencrypted database volumes.”

“Suppress false-positive security warnings safely using inline #tfsec:ignore comments with justification.”

“Export tfsec scan results in SARIF format to populate GitHub Security Code Scanning alerts.”

Automated Security & Audit Report

Score:98/100 (SAFE)

Filesystem

Workspace Scoped

Cannot escape workspace root

Shell Execution

Instruction Only

Zero system subprocesses

Network Access

Offline Sandbox

No internet egress

API Keys Required

None Required

Runs fully standalone

Enterprise & Production Use Cases

Autonomous Development SprintsEnables coding agents to independently build features, run lint tests, and author PR descriptions that strictly conform to organizational coding rules.

Batch Automation & CI/CD PipelinesAutomates repetitive transformations such as document generation, schema migrations, or test-suite updates inside containerized CI runners.

Standardized Engineering OnboardingDistributes unified development playbooks across all engineering team members using Cursor, Codex, or Claude Code.

Frequently Asked Questions

Q: What makes tfsec Static Security Scanner for Terraform Code different from a standard MCP server?

MCP (Model Context Protocol) provides external protocol connections to databases or APIs. In contrast, tfsec Static Security Scanner for Terraform Code is a high-level operational skill (SKILL.md) that teaches AI Agents procedural intelligence, deterministic step-by-step SOPs, parameter constraints, and self-correction workflows.

Q: Is tfsec Static Security Scanner for Terraform Code compatible with frontier models like Claude 3.7 Sonnet, GPT-4o, and DeepSeek-R1?

Yes. The skill is packaged with standard markdown instructions (SKILL.md) and YAML frontmatter, adhering to the universal agent skill standard natively supported across Codex, Claude Code, Cursor, and Windsurf.

Q: What permissions does tfsec Static Security Scanner for Terraform Code require in agent mode?

Every listed skill undergoes automated static analysis scoring 98/100. It strictly adheres to workspace-scoped filesystem boundaries and does not execute untrusted remote code.

Q: Can our team customize or extend the rules in this SKILL.md?

Yes. Once installed in your project root (.skills/tfsec-static-security-scanner/SKILL.md or ~/.agents/skills/tfsec-static-security-scanner/), you can customize the instructions to include internal team guidelines, custom linters, or proprietary APIs.

SKILL.md Source Specification

View Raw

---
name: "tfsec-static-security-scanner"
description: "Scan Terraform templates for security vulnerabilities and compliance misconfigurations."
metadata:
author: "Aqua Security"
version: "1.0.0"
runtime_compatibility:
- "codex"
- "claude-code"
- "cursor"
- "windsurf"
triggers:
- "scan terraform with tfsec"
- "fix tfsec security warnings"
- "export tfsec sarif report"
permissions:
fs_read: true
fs_write: "workspace"
shell_exec: false
net_access: false
---

# tfsec Static Security Scanner for Terraform Code

Scans infrastructure code with tfsec (Trivy): detecting open security groups (0.0.0.0/0), unencrypted S3 buckets, unrotated KMS keys, insecure IAM policies, and generating SARIF reports for GitHub Code Scanning.

## When to Invoke
Invoke this skill whenever you need to:
- scan terraform with tfsec
- fix tfsec security warnings
- export tfsec sarif report

## Execution SOP & Rules
1. Run scanner locally: tfsec . --concise-output.
2. Review reported security findings (HIGH/CRITICAL) with rule documentation references.
3. Ignore intentional exceptions: #tfsec:ignore:aws-s3-enable-bucket-encryption:reason=public-assets.
4. Export to SARIF: tfsec . --format sarif --out tfsec.sarif for GitHub Security tab integration.

## Verification Checklist
- Run local linting, syntax validation, and type-checks before reporting completion.
- Ensure all created or modified files adhere to workspace boundaries and avoid uncommitted secrets.
- Verify tests or build commands exit cleanly with return code 0.