skills.rest
ginaecho
ginaechoCOMMUNITY
Explore all skills by this author →
GitHub

retry-research

Searches in a retry loop until a result is found, then delivers a researched answer.

1|Updated Jul 1, 2026
Search Tags:#static analysis#formal methods#retry loop#protocol verification#capability checking#skillc#achievability
One-click install
npx skills add https://github.com/ginaecho/skill-achievability-compiler --skill retry-research-ginaecho
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: retry-research
Source: https://github.com/ginaecho/skill-achievability-compiler/tree/main/examples/retry-research
Command: npx skills add https://github.com/ginaecho/skill-achievability-compiler --skill retry-research-ginaecho

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? It demonstrates how to express a retry-until-success research workflow as a formal achievability pack, so the skillc compiler can statically verify that the loop's goal is reachable under declared capabilities. ## Core Features & Use Cases - Tail-Recursive Protocol: Models a search loop using the rec/continue fragment, where the worker retries until a result is found. - Capability-Guarded Actions: Declares search and deliver capabilities with preconditions and effects (found, answered) for static checking. - Use Case: Compile this pack with skillc to verify that the goal 'answered' is achievable given the declared capabilities, or to test refutation when a capability is missing. ## Quick Start Run skillc check on this SKILL.md against a capability profile to verify the retry-research goal is achievable.

Frequently Asked Questions about retry-research

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I write a retry loop in a skillc achievability pack?▼

Use the rec construct with a named recursion variable, place the search action inside the body, and add a choice block whose retry branch continues the recursion and whose found branch exits. The goal is then checked after the loop terminates.

How do I check if a skill goal is achievable with skillc?▼

Run skillc check on the SKILL.md file with a capability profile such as claude-ai or claude-code. The checker returns ACHIEVABLE if the goal is structurally reachable or IMPOSSIBLE with a reason like MISSING_CAPABILITY.

What does the rec/continue fragment mean in a skillc protocol?▼

The rec construct defines a named recursive block, and continue jumps back to that block's start. It models tail-recursive loops such as repeated search attempts until a success condition is met.

Does an ACHIEVABLE verdict guarantee the skill will succeed?▼

No. skillc is sound for refutation but incomplete for achievement, so ACHIEVABLE means structurally admissible, not guaranteed. An IMPOSSIBLE verdict is a proof that no run can reach the goal under the declared capabilities.

What happens if a required capability is missing from the profile?▼

The checker returns IMPOSSIBLE with a MISSING_CAPABILITY reason, listing the undeclared capabilities and their locations. This proves the pack cannot reach its goal in that capability context.

Related Skills

Explore More Software Engineering Skills→
gaofeng21cngaofeng21cn
8

opl-pack-admission-reviewer

Review OPL pack admission candidates for registry fit and contract compliance.

Community
Intermediate
garrytangarrytan
29.4k

schema-author

Evolves a GBrain schema pack by adding page types, link verbs, and backfilling page.type on existing pages.

Community
Advanced
dojoenginedojoengine
1

m04-zero-cost

Decide between generics and trait objects for zero-cost abstraction in Rust.

Official
Advanced
outfitter-devoutfitter-dev
6

prove-it-works

Validates software end-to-end with real databases, APIs, and live services.

Official
Advanced