pub trait PreExecutionVerifier:
Send
+ Sync
+ Debug {
// Required methods
fn verify(&self, tool_name: &str, args: &Value) -> VerificationResult;
fn name(&self) -> &'static str;
}Expand description
Pre-execution verification trait. Implementations intercept tool calls
before the executor runs them. Based on TrustBench pattern (arXiv:2603.09157).
Sync by design: verifiers inspect arguments only — no I/O needed.
Object-safe: uses &self and returns a concrete enum.
Required Methods§
Sourcefn verify(&self, tool_name: &str, args: &Value) -> VerificationResult
fn verify(&self, tool_name: &str, args: &Value) -> VerificationResult
Verify whether a tool call should proceed.