genpark-abstract-interpretation-interval-domain-skill MCP Server

Name: Alpha-Park/genpark-abstract-interpretation-interval-domain-skill
Rating: 3.0 (1 reviews)
Author: Alpha-Park

Alpha-Park/genpark-abstract-interpretation-interval-domain-skill

Score: 49.7 Rank #19074 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/Alpha-Park--genpark-abstract-interpretation-interval-domain-skill)](https://agentrank-ai.com/tool/Alpha-Park--genpark-abstract-interpretation-interval-domain-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of Alpha-Park/genpark-abstract-interpretation-interval-domain-skill? Claim this listing →

Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.

Add AgentRank to Claude Code Discover and compare tools like Alpha-Park/genpark-abstract-interpretation-interval-domain-skill — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

Alpha-Park/genpark-abstract-interpretation-interval-domain-skill is a Python tool. Abstract Interpretation static analyzer using the numeric Interval Domain to prove buffer bounds safety and absence of division-by-zero errors.

Ranked #19074 out of 24846 indexed tools.

Ecosystem

Python No license

Score Breakdown

Stars 15% 7

7 stars → early stage

Freshness 25% 21d ago

Last commit 21d ago → recently updated

Issue Health 25% 50%

No issues filed → no history to score

Contributors 10% 0

0 contributors → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 0

Description Good

License None

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

License low impact

Add an MIT or Apache-2.0 license to signal trust and enable adoption

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/v1/badge/Alpha-Park--genpark-abstract-interpretation-interval-domain-skill)](https://agentrank-ai.com/tool/Alpha-Park--genpark-abstract-interpretation-interval-domain-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/Alpha-Park--genpark-abstract-interpretation-interval-domain-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/Alpha-Park--genpark-abstract-interpretation-interval-domain-skill" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="Alpha-Park/genpark-abstract-interpretation-interval-domain-skill"></script>

Details

Stars: 7
Forks: 0
Open Issues: 0
Closed Issues: 0
Contributors: 0
Dependents: —
Language: Python
License: —
Last Commit: 21d ago

Matched Queries

topic:mcp

See alternatives to Alpha-Park/genpark-abstract-interpretation-interval-domain-skill → Browse mcp-server category → Best MCP Server MCP servers → Compare Alpha-Park/genpark-abstract-interpretation-interval-domain-skill → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →