# Solidity Contract Analyzer

> Use this tool when you need to analyze and debug Solidity smart contracts, identify security vulnerabilities, or understand complex execution paths and inter-contract dependencies. It takes a Solidity file path and function name as input and returns a comprehensive JSON analysis of function behavior, including execution flow, variable interactions, and external contract calls. Ideal for developers, auditors, and AI assistants working with Ethereum-based smart contracts, this tool provides detailed insights into contract functionality and potential security risks.

Canonical page: https://skillsregistry.net/skills/lyuboslavlyubenov-analyze-solidity  
JSON: https://api.skillsregistry.net/v1/skills/lyuboslavlyubenov-analyze-solidity

## Description

This MCP server provides AI assistants with Solidity smart contract analysis capabilities through deep AST parsing and function call flow analysis. Built by LyuboslavLyubenov using TypeScript with the @solidity-parser/parser library, the implementation offers a single analyze-fn tool that takes a Solidity file path and function name to extract detailed execution flow, variable interactions, state changes, and external contract calls with nested call tracking. The server parses contract source code into an Abstract Syntax Tree, identifies function definitions with their modifiers and parameters, traces internal function calls recursively, and maps external calls to contract instances and library functions, returning comprehensive JSON analysis of function behavior. Designed for developers debugging Solidity contracts, auditors performing security reviews, and AI assistants helping users understand complex smart contract execution paths and inter-contract dependencies.

## Trust

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

## Facts

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

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/lyuboslavlyubenov-analyze-solidity)
- **Repository:** <https://github.com/lyuboslavlyubenov/analyze-solidity-mcp>

## 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": "lyuboslavlyubenov-analyze-solidity"
    }
  }
}
```

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