Skip to main content
Glama
Sign In
Agentic Smart Contract Vulnerability Static Sentinel

Agentic Smart Contract Vulnerability Static Sentinel

by alphaparkinc
OverviewSchemaSourceRelated ServersDiscussionsAdmin
Python
Local

Related Servers

Alternatives to Agentic Smart Contract Vulnerability Static Sentinel

No user-submitted related servers found.

    Related Servers

    • Agentic Smart Contract

      Alpha-Park
      F
      license
      Not graded
      quality
      Not graded
      maintenance
      Enables static auditing of EVM Solidity smart contracts to detect critical vulnerabilities such as reentrancy state changes, unhandled external calls, unchecked delegatecall, and tx.origin authentication flaws, producing risk audit reports.
      -

    • solidity-sentinel

      Baneado98
      A
      license
      A
      quality
      C
      maintenance
      Enables static security audit of Solidity smart contracts by analyzing source code or deployed bytecode for vulnerabilities, providing risk scores and detailed findings.
      1
      MIT

    • mcp-contractaudit

      jonathanngiroux-star
      A
      license
      Not graded
      quality
      C
      maintenance
      Enables static analysis, vulnerability scanning, gas optimization, formal specification verification, and audit report generation for smart contracts across Ethereum, Polygon, Arbitrum, Optimism, and Base. It also retrieves deployed contract information and audit history, persisting findings between sessions.
      MIT

    • genpark-smart-contract

      Alpha-Park
      F
      license
      Not graded
      quality
      Not graded
      maintenance
      Enables automated Solidity smart contract auditing by analyzing callgraphs and control flow to detect reentrancy vulnerabilities. Integrates with MCP-compatible clients to provide deterministic, zero-dependency security assessments.
      -

    This server cannot be deployed

    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Resources