Embed Score
52/100
GenPark AI Agent Skill - Dijkstra's Weakest Precondition (wp) predicate transformer calculus engine backward-propagating…
Score Badge shields.io style
Minimal inline badge — best for README tables and lists.
Markdown
[](https://agentrank-ai.com/tool/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill/) HTML
<a href="https://agentrank-ai.com/tool/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill/"><img src="https://agentrank-ai.com/api/badge/tool/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill" alt="AgentRank"></a> Score Widget — SVG GitHub README
Rich widget with signal breakdown. Use in GitHub READMEs where iframes aren't allowed.
Markdown
[](https://agentrank-ai.com/tool/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill/) HTML
<a href="https://agentrank-ai.com/tool/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill/"><img src="https://agentrank-ai.com/api/embed/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill.svg" alt="AgentRank" height="148"></a> Score Widget — Live blogs & sites
Interactive widget with light/dark mode. Use in blogs, newsletters, or any site that supports iframes.
HTML iframe
<iframe src="https://agentrank-ai.com/api/embed/Alpha-Park--genpark-dijkstra-weakest-precondition-wp-calculus-skill.html" width="340" height="170" frameborder="0" style="border-radius:6px;border:none;overflow:hidden;"></iframe> JS snippet
<script src="https://agentrank-ai.com/embed.js" data-tool="Alpha-Park/genpark-dijkstra-weakest-precondition-wp-calculus-skill"></script>