Skills
.Work. You
Rest

audit-fsm

Official

Audit FSM apps for correctness and safety.

Software Engineering#testing#code review#audit#safety#correctness#fsm#open-autonomy
Authorvalory-xyz
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill helps developers ensure their Finite State Machine (FSM) applications within the Open Autonomy framework are correct, safe, and free from configuration issues.

Core Features & Use Cases

  • FSM Correctness Auditing: Analyzes FSM logic, transitions, and configurations for bugs and safety vulnerabilities.
  • Configuration Validation: Checks for dead timeouts, incomplete transition functions, and other configuration errors.
  • Use Case: A developer has built a new FSM skill for their agent. Before deploying, they use this Skill to perform a thorough audit, catching potential bugs like missing transitions or dead timeouts that could cause the agent to hang.

Quick Start

Audit all skills under the 'packages/' directory for correctness and safety issues.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: audit-fsm
Download link: https://github.com/valory-xyz/open-autonomy/archive/main.zip#audit-fsm

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.