Skip to content

feat: add HOL Guard workflow safety skill - #14

Open
kantorcodes wants to merge 1 commit into
reflex-dev:mainfrom
kantorcodes:feat/reflex-hol-guard
Open

feat: add HOL Guard workflow safety skill#14
kantorcodes wants to merge 1 commit into
reflex-dev:mainfrom
kantorcodes:feat/reflex-hol-guard

Conversation

@kantorcodes

Copy link
Copy Markdown

Summary

Adds reflex-hol-guard, a focused Agent Skill for protecting agent-driven Reflex workflows with HOL Guard on the local coding-agent boundary.

The skill directly installs and invokes HOL Guard (pipx install hol-guard, hol-guard detect, hol-guard install <detected-harness>, hol-guard run <detected-harness>, hol-guard doctor) before state-changing work, while preserving Reflex-native validation and platform controls. It explicitly does not claim HOL Guard runs inside the Reflex server.

The Claude marketplace manifest is updated so the skill is included in the existing reflex@reflex-agent-skills plugin install surface.

Testing

AI-assisted contribution. I validated the changed paths against the repository's current skill structure, marketplace manifest, and sanity-test discovery model. I did not run an interactive agent-host protection session in this environment, so I am not claiming that runtime test.

Scope

Two files only: the new skill and the existing marketplace skill list. No Reflex framework/runtime code changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant