# angr-mcp

> Use this tool when you need to analyze binaries for vulnerabilities and develop exploits, as it provides capabilities such as symbolic execution, taint analysis, and CFG recovery through a user-friendly MCP interface. It solves problems related to vulnerability exploration and exploit development by allowing users to input binaries and receive detailed analysis outputs. This tool is ideal for security researchers and developers working with binary code.

Canonical page: https://skillsregistry.net/skills/karimodm-angrmcp  
JSON: https://api.skillsregistry.net/v1/skills/karimodm-angrmcp

## Description

Exposes angr binary-analysis capabilities (symbolic execution, taint analysis, CFG recovery) as MCP tools for vulnerability exploration and exploit development.

## Trust

- **Trust score (0–1):** 0.44
- **Verification tier:** scanned
- **Last scanned:** 2026-09-03

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** security
- **Updated:** 2026-09-03

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/nhjbrqj7xp)
- **Repository:** <https://github.com/karimodm/angrMCP>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "karimodm-angrmcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/karimodm-angrmcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/karimodm-angrmcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt