Struct VerifierAgent 

pub struct VerifierAgent { /* private fields */ }

Verifier agent - handles stability verification and contract checking

Implementations

impl VerifierAgent

pub fn new(provider: Arc<GenAIProvider>, model: Option<String>) -> Self

pub fn build_verification_prompt( &self, node: &SRBNNode, implementation: &str, ) -> String

Trait Implementations

impl Agent for VerifierAgent

fn process<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, node: &'life1 SRBNNode, ctx: &'life2 AgentContext, ) -> Pin<Box<dyn Future<Output = Result<AgentMessage>> + Send + 'async_trait>>

where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Process a task and return a message

fn name(&self) -> &str

Get the agent’s display name

fn can_handle(&self, node: &SRBNNode) -> bool

Check if this agent can handle the given node

fn model(&self) -> &str

Get the model name used by this agent (for logging)

fn build_prompt(&self, node: &SRBNNode, _ctx: &AgentContext) -> String

Build the prompt for this agent (for logging)