Skip to content

[BUG] Agent not using calling scarb_verify_program tool with projectName #121

@minhanhld

Description

@minhanhld

Agent not using calling scarb_verify_program tool with projectName

Description

  • Found a bug in our agent's behavior when handling the "prove and verify the project" instruction:
  • When told to "prove and verify the project", the agent correctly calls scarb_prove_program with the project_name parameter. However, it fails to pass the same project_name when calling scarb_verify_program.
  • This only happens when the agent is instructed to do those 2 actions, if scarb_verify_program is called on its own it works perfectly fine.

Error logs

|-
Error: Received tool input did not match expected schema
 Please fix your mistakes.

Observed behavior

  1. Agent calls scarb_prove_program with projectName
  2. Agent calls scarb_verify_program without any arguments

Expected behavior

Agent should be calling both tools with projectName

Possible causes

The agent does not "see" the project name after the tool response from scarb_prove_program due to the way LangGraph operates

Suggested fixes

Update the agent's handling logic to ensure projectName is consistently passed to both tools when verification is requested

Priority

Low - This should only happen if a user wants to prove AND verify in the same query, but things should still work if those tools are called separately.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions