event-sequence-pbt
Design or review stateful sequence properties for retries, recovery and concurrency with independent oracles and replay.
Skill by JekaMas
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/jekamas-event-sequence-pbt
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: design
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/event-sequence-pbt
What's inside
- Skill name
event-sequence-pbt- Description
- Design or review stateful sequence properties for retries, recovery and concurrency with independent oracles and replay.
- License
- unknown
- Instructions
- 198 lines in SKILL.md · view on GitHub
Files (12)
- SKILL.md
- openai.yaml · agents/
- change-impact.md · references/
- event-modeling.md · references/
- examples.md · references/
- failure_pattern_map.md · references/
- fakes-and-generators.md · references/
- language-adapters.md · references/
- property_catalog.md · references/
- property_discovery.md · references/
- rapid_recipes.md · references/
- replay-and-review.md · references/
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from JekaMas/agent-workflow
- 0.553score
openspec-delivery
JekaMas
Plan, implement, resume and finish substantial changes using an installed OpenSpec workflow.
SkillAFreshness: AClaude Code +9 - 0.518score
golang-optimization
JekaMas
Implement or review Go performance fixes after diagnostics identify the owner, workload and baseline.
SkillBFreshness: BClaude Code +9 - 0.518score
golang-performance-diagnostics
JekaMas
Diagnose Go CPU, allocation, memory, concurrency or I/O costs with workload evidence before optimization.
SkillBFreshness: BClaude Code +9 - 0.518score
sdd-go
JekaMas
Implement or review Go behavior with targeted tests, ownership and concurrency evidence.
SkillBFreshness: BClaude Code +9 - 0.518score
sdd-rust
JekaMas
Implement or review Rust behavior with precise Cargo selection and risk-based evidence.
SkillBFreshness: BClaude Code +9 - 0.518score
verification-design
JekaMas
Design or review consequential properties, test oracles, coverage, falsification and test-set evidence.
SkillBFreshness: BClaude Code +9 - 0.513score
golang-testing
JekaMas
Diagnose Go test hangs, timeouts, deadlocks or unusual slowness using isolated tests and goroutine stacks.
SkillBFreshness: BClaude Code +9 - 0.513score
hypothesis-debugging
JekaMas
Diagnose a failed direct attempt or unknown failure owner; continue authorized repair.
SkillBFreshness: BClaude Code +9 - 0.513score
conflict-resolution
JekaMas
Resolve merge, rebase or cherry-pick conflicts while preserving both sides’ intended behavior.
SkillBFreshness: BClaude Code +9 - 0.513score
sdd-workflow
JekaMas
Develop substantial tasks with adaptive planning, meaningful checks and repair across repositories.
SkillBFreshness: BClaude Code +9 - 0.508score
sdd-maintenance
JekaMas
Adopt or update shared development workflow defaults and repository adapters.
SkillBFreshness: BClaude Code +9
Signals
- Stars
- 0
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Sep 21, 2026 (1 month ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- License unknown
- Repository
- github.com/JekaMas/agent-workflow
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from JekaMas
- 0.553score
openspec-delivery
JekaMas
Plan, implement, resume and finish substantial changes using an installed OpenSpec workflow.
SkillAFreshness: AClaude Code +9 - 0.518score
golang-optimization
JekaMas
Implement or review Go performance fixes after diagnostics identify the owner, workload and baseline.
SkillBFreshness: BClaude Code +9 - 0.518score
golang-performance-diagnostics
JekaMas
Diagnose Go CPU, allocation, memory, concurrency or I/O costs with workload evidence before optimization.
SkillBFreshness: BClaude Code +9 - 0.518score
sdd-go
JekaMas
Implement or review Go behavior with targeted tests, ownership and concurrency evidence.
SkillBFreshness: BClaude Code +9 - 0.518score
sdd-rust
JekaMas
Implement or review Rust behavior with precise Cargo selection and risk-based evidence.
SkillBFreshness: BClaude Code +9 - 0.518score
verification-design
JekaMas
Design or review consequential properties, test oracles, coverage, falsification and test-set evidence.
SkillBFreshness: BClaude Code +9
Cite this page
event-sequence-pbt skill. Agent Mart. https://agentmart.dev/skills/jekamas-event-sequence-pbt (last updated 2026-10-24)