SkillPublic
verify-execution-lease
Model-check the agent run execution lease and durable step journal with TLA+. Use when changing turn lease claim, renew, release, fenced writes, reapers, aborts, run pruning, beginAgentExecutionStep and its siblings, or the code that dispatches a tool effect after markAgentExecutionStepDispatched.
Quality
90%
Does it follow best practices?
Run evals on this skill
Adds up to 20 points to the overall score
Securityby
Passed
No findings from the security scan
No security issues found
Scanned
- Repository
BuilderIO/agent-native
- Revision
46ed84c
- Audited
- Security analysis
Is this your skill?
If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.