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

triage-team

Defines a router-handler ticket triage protocol as a formal achievability pack for conformance checking.

1|Updated Jul 1, 2026
Search Tags:#formal verification#conformance#ticket triage#capability profile#multi-agent protocol#achievability checking#skillc
One-click install
npx skills add https://github.com/ginaecho/skill-achievability-compiler --skill triage-team-ginaecho
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: triage-team
Source: https://github.com/ginaecho/skill-achievability-compiler/tree/main/examples/triage-team
Command: npx skills add https://github.com/ginaecho/skill-achievability-compiler --skill triage-team-ginaecho

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? It demonstrates how to formally specify a multi-role agent protocol (a router triaging tickets to a handler) so that the skillc compiler can verify whether the declared goal is achievable and whether each role's behaviour conforms to its projected contract. ## Core Features & Use Cases - Formal Protocol Specification: Declares roles, capabilities, message-passing branches, and a goal state in a skillc-pack JSON block embedded in SKILL.md. - Conformance Checking: The handler's declared behaviour is checked against its projected contract, including safe interface slack (an extra go_escalate branch accepted via Sub-Ext). - Use Case: A developer modeling a ticket triage workflow can run skillc check on this pack to prove the resolved goal is reachable under the declared capabilities before deploying the agents. ## Quick Start Run skillc check on examples/triage-team/SKILL.md with a chosen capability profile to verify the triage protocol's goal is achievable.

Frequently Asked Questions about triage-team

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

FAQPage Schema
How do I formally verify a multi-agent protocol before deployment?▼

Encode the protocol as a skillc pack declaring roles, capabilities, message branches, and a goal, then run skillc check. The compiler decides capability-guarded may-reachability and reports ACHIEVABLE or IMPOSSIBLE verdicts.

What is a skillc achievability pack?▼

A skillc pack is a JSON object naming roles, capabilities with owners and effects, a protocol of messages and actions, and a goal state. It can be embedded in a SKILL.md code fence or compiled standalone for checking.

Can a handler accept more message labels than the protocol sends?▼

Yes. The triage-team handler accepts an extra go_escalate label beyond what the router sends, which is treated as safe interface slack under the Sub-Ext rule during conformance checking.

What does an IMPOSSIBLE verdict from skillc mean?▼

An IMPOSSIBLE verdict is a proof, relative to the declared capabilities and frame assumption, that no run of the pack can reach its goal. ACHIEVABLE only means structurally admissible, not guaranteed.

When should I use formal achievability checking for agent skills?▼

Use it when a skill's goal depends on specific capabilities or multi-role message protocols and you need a sound refutation check before runtime. It is less useful for informal single-step prompts without declared capabilities.

Related Skills

Explore More Software Engineering Skills→
gaofeng21cngaofeng21cn
8

opl-pack-capability-reviewer

Review OPL declarative packs for boundary defects and ABI mismatches.

Community
Advanced
Arete-ConsortiumArete-Consortium
4

cicd-pipeline

Designs CI/CD pipelines that run Claude Code headlessly for automated review, triage, and deployment gating.

Official
Intermediate
JYeswakJYeswak

lean-proofcheck

Run Lean proofs through a checker and report pass/fail verdicts with evidence logs.

Community
Intermediate
zardusai-cyberzardusai-cyber
1

iterative-retrieval

Refine codebase context for subagents through iterative retrieval cycles.

Community
Intermediate