Search results

implement a spec translator for the vericoder project

Status: Open.

#315 In Beneficial-AI-Foundation/vericoding;

· astefano opened on Oct 21, 2025

integration of dafnybench_exp

Status: Open.

#310 In Beneficial-AI-Foundation/vericoding;

· astefano opened on Oct 6, 2025

add benchmark name to vericoder_<language>_<llm> generated folder

Status: Open.

#308 In Beneficial-AI-Foundation/vericoding;

· astefano opened on Oct 4, 2025

@claude add note to Claude md to that dbgTrace is a tool for print debugging

Status: Open.

#271 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 19, 2025

@claude refactor lakefile

Status: Open.

#270 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 19, 2025

add github mcp servers

Status: Open.

#153 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 5, 2025

@claude dafnybench lean has a bunch of spurious numpyspec imports, fix them and make a PR

Status: Open.

#151 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 4, 2025

what is AllImports?

Status: Open.

#138 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 3, 2025

change lean dafnybench to yaml format

Status: Open.

#137 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 3, 2025

make lake build clean

Status: Open.

#136 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 3, 2025

uppercase Clever

Status: Open.

#134 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 3, 2025

make sure all the AIs use system prompt

Status: Open.

#133 In Beneficial-AI-Foundation/vericoding;

· alok opened on Sep 3, 2025