LogoClawIndex
CasesSkillsAbout
LogoClawIndex

verify - Verify code with Acutis PCST contracts

Verifies AI-generated code with Acutis PCST contracts and reports ALLOW or BLOCK decisions for security-relevant data flows.

Tags

Updated: 2026-10-05
code verificationapplication securitystatic analysisdata-flow analysisAI-generated codeAcutis

Capabilities

Verify code with PCST contractsClassify sources and sinksDeclare transforms and argument rolesTrace source-to-sink witness paths

Typical Inputs

Code fragmentsProgramming languagePCST contract

Typical Outputs

ALLOW or BLOCK verdictVerification messagesWitness-path status

What this skill does

  • Verify code with PCST contracts
  • Classify sources and sinks
  • Declare transforms and argument roles
  • Trace source-to-sink witness paths
  • Diagnose BLOCK_INCOMPLETE results
  • Validate security data flows

Inputs

  • Code fragments
  • Programming language
  • PCST contract

Outputs

  • ALLOW or BLOCK verdict
  • Verification messages
  • Witness-path status

Requirements

  • Acutis MCP server access
  • Supported language parser

Source

  • Spec: SKILL.md

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.