find-implicit-state-machines

100 / 100 · Low risk

Fine to try.

By vvedantb/eva (GitHub) · security · 101 stars · scanned at commit 1bd8b90

Audit a codebase for implicit state machines: lifecycles spread across boolean flags, status fields patched from many files, timestamps that can disagree with status, effect chains, and ad-hoc retry or polling flags. Use when the user asks to find implicit state machines, hunt race conditions or stuck states, or audit stateful logic. Read-only by default; produces a ranked findings list. For writing new stateful code, use principle-model-the-domain instead.

Works with any agent that supports SKILL.md skills.

What this skill can do

We found nothing in the files we read that matches our rules. That does not prove the skill is safe: see the limits of static scanning.

Install

Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.

if [ -e ~/.agents/skills/'find-implicit-state-machines' ] || [ -L ~/.agents/skills/'find-implicit-state-machines' ]; then echo 'A skill folder named find-implicit-state-machines already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/vvedantb/eva' "$d" && git -C "$d" checkout --quiet '1bd8b90ceb62d31e79342108c8ddb0a6e4955287' -- '.agents/skills/find-implicit-state-machines' && mkdir -p ~/.agents/skills && cp -R "$d"/'.agents/skills/find-implicit-state-machines' ~/.agents/skills/'find-implicit-state-machines' && rm -rf "$d"; fi

Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'find-implicit-state-machines' ~/.claude/skills/'find-implicit-state-machines' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.

Badge for your README

The badge for vvedantb/eva shows the score of its lowest-scoring skill.

SkillTrust badge for vvedantb/eva

[![SkillTrust](https://zalavijaysinh.github.io/skilltrust/badges/vvedantb/eva.svg)](https://zalavijaysinh.github.io/skilltrust/repos/vvedantb/eva/)

Score history

Date	Version	Score
2026-11-09	`1bd8b90`	100

Also found in

Identical copies of this skill exist at:

vvedantb/eva/.claude/skills/find-implicit-state-machines