semgrep - Claude Skills

Install for your project team

Run this command in your project directory to install the skill for your entire team:

mkdir -p .claude/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d .claude/skills/semgrep && rm skill.zip

New-Item -Path ".claude/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath ".claude/skills/semgrep" -Force; Remove-Item "skill.zip"

Project Skills

This skill will be saved in .claude/skills/semgrep/ and checked into git. All team members will have access to it automatically.

Important: Please verify the skill by reviewing its instructions before using it.

1

Download skill

2

Enable skills in Claude

Open claude.ai/settings/capabilities and find the "Skills" section

3

Upload to Claude

Click "Upload skill" and select the downloaded ZIP file

Note: Please verify skill by going through its instructions before using it.

Install skill for Codex

Run one of these commands to install the skill depending on your needs:

Project Local ($CWD/.codex/skills)

mkdir -p .codex/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d .codex/skills/semgrep && rm skill.zip

New-Item -Path ".codex/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath ".codex/skills/semgrep" -Force; Remove-Item "skill.zip"

User Global (~/.codex/skills)

mkdir -p ~/.codex/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d ~/.codex/skills/semgrep && rm skill.zip

New-Item -Path "$HOME/.codex/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath "$HOME/.codex/skills/semgrep" -Force; Remove-Item "skill.zip"

Scope	Location	Suggested Use
REPO	`$CWD/.codex/skills`	Project directory. Teams can check in skills most relevant to a working folder here.
REPO	`$CWD/../.codex/skills`	A folder above CWD. Organizations can check in skills relevant to a shared area.
REPO	`$REPO_ROOT/.codex/skills`	Top-most root folder. Relevant to everyone using the repository.
USER	`$CODEX_HOME/skills`	Personal folder (`~/.codex/skills`). Curate skills that apply to any repository.

Install skill for GitHub Copilot

Run one of these commands to install the skill depending on your needs:

Project (.github/skills)

mkdir -p .github/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d .github/skills/semgrep && rm skill.zip

New-Item -Path ".github/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath ".github/skills/semgrep" -Force; Remove-Item "skill.zip"

Personal (~/.copilot/skills)

mkdir -p ~/.copilot/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d ~/.copilot/skills/semgrep && rm skill.zip

New-Item -Path "$HOME/.copilot/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath "$HOME/.copilot/skills/semgrep" -Force; Remove-Item "skill.zip"

Scope	Location	Suggested Use
Project	`.github/skills/`	Repository-specific skills. Checked into git for the whole team.
Personal	`~/.copilot/skills/`	Personal skills available across all your projects.

Install skill for Google Antigravity

Run one of these commands to install the skill depending on your needs:

Workspace (.agent/skills)

mkdir -p .agent/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d .agent/skills/semgrep && rm skill.zip

New-Item -Path ".agent/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath ".agent/skills/semgrep" -Force; Remove-Item "skill.zip"

Global (~/.gemini/antigravity/skills)

mkdir -p ~/.gemini/antigravity/skills/semgrep && curl -L -o skill.zip "https://fastmcp.me/Skills/Download/1559" && unzip -o skill.zip -d ~/.gemini/antigravity/skills/semgrep && rm skill.zip

New-Item -Path "$HOME/.gemini/antigravity/skills/semgrep" -ItemType Directory -Force; Invoke-WebRequest -Uri "https://fastmcp.me/Skills/Download/1559" -OutFile "skill.zip"; Expand-Archive -Path "skill.zip" -DestinationPath "$HOME/.gemini/antigravity/skills/semgrep" -Force; Remove-Item "skill.zip"

Scope	Location	Suggested Use
Workspace	`.agent/skills/`	Workspace-specific skills for project workflows and conventions.
Global	`~/.gemini/antigravity/skills/`	Personal skills available across all workspaces.

trailofbits / semgrep

Install for your project team

Download skill

Enable skills in Claude

Upload to Claude

Install skill for Codex

Install skill for GitHub Copilot

Install skill for Google Antigravity