Agent skill

termination-analyzer

Prove termination of algorithms and programs using ranking functions and well-founded orderings

a5c.ai1,642★ · 1 repos on radarProfile →
claude-codecodexcan modify filesMIT
Install
npx skills add a5c-ai/babysitter --skill termination-analyzer --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 1
SKILL.md size: 1 KB
Bundled scripts: none
Allowed tools: -Bash-Read-Write-Edit-Glob-Grep
Path: library/specializations/domains/science/computer-science/skills/termination-analyzer/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 1,642
Language: JavaScript

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Termination Analyzer ## Purpose Provides expert guidance on proving termination of algorithms through ranking functions, well-founded orderings, and automated analysis. ## Capabilities - Identify ranking/variant functions automatically - Prove well-founded orderings - Handle mutual recursion - Detect potential non-termination - Generate termination certificates - Analyze complex control flow ## Usage Guidelines 1. **Structure Analysis**: Identify recursive calls and loop structures 2. **Ranking Function**: Find or construct appropriate ranking function 3. **Ordering Proof**: Prove well-foundedness of the ordering 4. **Certificate Generation**: Generate formal termination proof 5. **Non-termination Detection**: Flag potential infinite loops ## Tools/Libraries - AProVE - T2 - Ultimate Automizer - SMT solvers

What's inside
Steps it walks through
  1. Purpose
  2. Capabilities
  3. Usage Guidelines
  4. Tools/Libraries
More from babysitter
All skills →
generating-gcp-diagramsGenerates DrawIO XML diagrams for Google Cloud Platform architectures from text descriptions or…DevOps & Cloudgenerating-aws-diagramsGenerates DrawIO XML diagrams for Amazon Web Services architectures from text descriptions or…DevOps & Cloudmonte-carlo-financial-simulatorStochastic simulation skill for financial modeling with probability distributions and risk…Business & Financeportfolio-constructionConstruct and optimize investment portfolios — asset allocation, risk budgeting, factor exposure…Othertax-provision-calculatorASC 740 income tax provision calculation skill with deferred tax analysisAI & Agentsmulti-jurisdiction-tax-calculatorMulti-state and international tax calculation skill with nexus analysisAI & Agents
About this skill
What does the termination-analyzer skill do?

Prove termination of algorithms and programs using ranking functions and well-founded orderings

How do I install it?

Run `npx skills add a5c-ai/babysitter --skill termination-analyzer --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going
All skills →
The full catalog, by category and by tool.
Open Source Radar →
The repositories these skills come from, watched daily.
The people behind them →
Makers and builders across the ecosystem.