Open stephenlf opened 11 hours ago
First, thank you for the quality of the bug report.
I believe the issue is that proof-comments
is designed to work on source code, specifically Rust, so something is getting confused somewhere.
From the verbose output, I noticed the space before ```md, which might be throwing things off.
Also, if there are nested blocks, things can get confusing. I'll need to think about how to resolve that.
Anyway, I need to do the following two things:
1) Fix the error message to make it less cryptic.
2) Ensure this use case works, and then probably create a new proof-markdown.md
command agent specifically for markdown.
Great bug report, thanks for reporting it.
You're completely right. The issue stemmed from the rhai
script expecting to find a code block that the LLM's output didn't provide (or didn't format correctly).
let first_rust_block = rust_blocks[0].content;
Bug description
Running
devai run
frequently fails, throwing an error:Rhai(ErrorArrayBounds(...))
Command
devai run proof-comments -f ./README.md -v
Error
Rhai(ErrorArrayBounds(...))
Config
Agent
Output