Is the genpark-hoare-logic-triplet-verifier-skill MCP server actively maintained?

The genpark-hoare-logic-triplet-verifier-skill MCP server was last committed 15d ago and has 0 contributors. Issue health: 50% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

genpark-hoare-logic-triplet-verifier-skill MCP Server

Name: Alpha-Park/genpark-hoare-logic-triplet-verifier-skill
Rating: 3.1 (1 reviews)
Author: Alpha-Park

Alpha-Park/genpark-hoare-logic-triplet-verifier-skill

Score: 51.5 Rank #13651 MCP Server

Are you the maintainer of Alpha-Park/genpark-hoare-logic-triplet-verifier-skill? Claim this listing →

GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.

Add AgentRank to Claude Code Discover and compare tools like Alpha-Park/genpark-hoare-logic-triplet-verifier-skill — your AI finds the right one automatically

Get API Access →

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

Overview

Alpha-Park/genpark-hoare-logic-triplet-verifier-skill is a Python tool. GenPark AI Agent Skill - Deductive program verifier validating Hoare logic triplets {P} C {Q} across state transitions, assignment axioms, and conditional branches.

Ranked #13651 out of 24840 indexed tools.

Ecosystem

Python No license

Score Breakdown

Stars 15% 8

8 stars → early stage

Freshness 25% 15d ago

Last commit 15d 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 Detailed

License None

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

How to Improve

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

Dependents medium impact

No downstream dependents detected yet — adoption by other projects is the strongest trust signal

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/badge/tool/Alpha-Park--genpark-hoare-logic-triplet-verifier-skill)](https://agentrank-ai.com/tool/Alpha-Park--genpark-hoare-logic-triplet-verifier-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/Alpha-Park--genpark-hoare-logic-triplet-verifier-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/Alpha-Park--genpark-hoare-logic-triplet-verifier-skill" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="Alpha-Park/genpark-hoare-logic-triplet-verifier-skill"></script>

Details

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

Matched Queries

topic:mcp

See alternatives to Alpha-Park/genpark-hoare-logic-triplet-verifier-skill → Browse mcp-server category → Compare Alpha-Park/genpark-hoare-logic-triplet-verifier-skill → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →