# genpark-smart-contract-security-audit-formal-verifier-skill

> genpark-smart-contract-security-audit-formal-verifier-skill — alphaparkinc-genpark-smart-contract-security-audit-formal-verifier-skill. Use this tool when you need to identify and mitigate potential security risks in Web3 smart contracts, as it provides static analysis, formal verification, and vulnerability audits to ensure contract integrity and reliability. It takes smart contract code as input and outputs a comprehensive report of vulnerabilities and security threats. Ideal for use in development and testing phases to prevent common Web3 security issues.

Canonical page: https://skillsregistry.net/skills/alphaparkinc-genpark-smart-contract-security-audit-formal-verifier-skill  
JSON: https://api.skillsregistry.net/v1/skills/alphaparkinc-genpark-smart-contract-security-audit-formal-verifier-skill

## Description

Web3 smart contract static analyzer, formal verification & vulnerability audit

## Trust

- **Trust score (0–1):** 1.00
- **Verification tier:** verified
- **Last scanned:** 2026-09-28

## Facts

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

## Source

- **Source listing:** [GitHub](https://github.com/alphaparkinc/genpark-smart-contract-security-audit-formal-verifier-skill)

## 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": "alphaparkinc-genpark-smart-contract-security-audit-formal-verifier-skill"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/alphaparkinc-genpark-smart-contract-security-audit-formal-verifier-skill` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/alphaparkinc-genpark-smart-contract-security-audit-formal-verifier-skill/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