Installation

$ npx skills add smithery/venikman --skill fpf-skillverification-verify-behavior

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared

Cursor Not declared

Codex Not declared

GitHub Copilot Not declared

Windsurf Not declared

Gemini CLI Not declared

Cline Not declared

OpenCode Not declared

Package contents

Files included with this skill beyond the listing page.

skill md SKILL.md 1,772 B

docs SUMMARY.md 125 B

SKILL.md

verification/verify-behavior Kernel

Context

This skill acts as the Behavioral Verifier for the FPF Agent Stack. It verifies that a given runtime session or trace adheres to the Behavioral Specification (contexts/SkillRuntime/tests/bdd/BEHAVIORAL_SPEC.md), specifically focusing on Safety Invariants and Tri-State Guard logic.

Instructions

Analyze the provided execution trace/log and verify the following behavioral invariants:

1. Safety Invariants (Section 5)

Host Isolation: Ensure no files on the host were modified directly. (All writes must be inside the AgentFS session/overlay).
Schema Enforcement: Ensure every tool execution had a valid schema match.
Logging: Ensure every operation has a corresponding audit log entry.

2. Decision Logic (Section 3)

Verify that Guard transitions follow the Tri-State logic:

Pass: Evidence was present -> Execution proceeded.
Abstain: Preconditions/Evidence missing -> Execution stopped.
Degrade: Execution failed -> Error captured.

3. Output

Return a structured Behavioral Verification Report:

{
  "verified": boolean,
  "specification_version": "contexts/SkillRuntime/tests/bdd/BEHAVIORAL_SPEC.md",
  "invariants": {
    "host_isolation": "pass" | "fail",
    "schema_enforcement": "pass" | "fail",
    "audit_completeness": "pass" | "fail"
  },
  "guard_logic_compliant": boolean,
  "violations": string[]
}

If verified is false, violations must list the specific specific rules broken (e.g., "Tool execution X occurred without schema validation").

fpf-skill:verification-verify-behavior