# reentryx

> reentryx — cognis-digital-reentryx. Use this tool when you need to detect reentrancy vulnerabilities in Solidity and Vyper smart contracts, identifying potential security risks and preventing attacks. It analyzes code paths and generates SARIF output for CI-gating, providing a secure and automated way to flag issues. Ideal for use in git-based development workflows to ensure contract security and integrity.

Canonical page: https://skillsregistry.net/skills/cognis-digital-reentryx  
JSON: https://api.skillsregistry.net/v1/skills/cognis-digital-reentryx

## Description

Static + symbolic detector that flags reentrancy, cross-function, and read-only reentrancy paths in Solidity/Vyper with CI-gating SARIF output.

## Trust

- **Trust score (0–1):** 0.50
- **Verification tier:** unverified

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** container
- **Runtime environment:** vm
- **Updated:** 2026-09-21

## Source

- **Source listing:** [GitHub](https://github.com/cognis-digital/reentryx)

## 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": "cognis-digital-reentryx"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/cognis-digital-reentryx` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/cognis-digital-reentryx/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