genpark-dijkstra-weakest-precondition-wp-calculus-skill MCP Server

Name: alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill
Rating: 3.1 (1 reviews)
Author: alphaparkinc

alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill

Score: 51.5 Rank #13652 MCP Server

Are you the maintainer of alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill? Claim this listing →

GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.

Add AgentRank to Claude Code Discover and compare tools like alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill — your AI finds the right one automatically

Get API Access →

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

Overview

alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill is a Python tool. GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating postconditions through assignment statements and branch conditions.

Ranked #13652 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/alphaparkinc--genpark-dijkstra-weakest-precondition-wp-calculus-skill)](https://agentrank-ai.com/tool/alphaparkinc--genpark-dijkstra-weakest-precondition-wp-calculus-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/alphaparkinc--genpark-dijkstra-weakest-precondition-wp-calculus-skill/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/alphaparkinc--genpark-dijkstra-weakest-precondition-wp-calculus-skill" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-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 alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill → Browse mcp-server category → Compare alphaparkinc/genpark-dijkstra-weakest-precondition-wp-calculus-skill → How to Build an MCP Server in 2026 →MCP Server Comparison: Top 10 Head-to-Head →

View on GitHub →