Issues

• Offer: a SPARK track for numpy_simple, if you want it

  Beneficial-AI-Foundation/vericoding#322 · Filter by author tonygair opened on Sep 3, 2026

• Four numpy_simple specifications appear unsatisfiable (NpIntersect, NpArange, NpDiagonal, NpGcd)

  Beneficial-AI-Foundation/vericoding#321 · Filter by author tonygair opened on Sep 3, 2026

• implement a spec translator for the vericoder project

  Beneficial-AI-Foundation/vericoding#315 · Filter by author astefano opened on Oct 21, 2025

• integration of dafnybench_exp

  Beneficial-AI-Foundation/vericoding#310 · Filter by author astefano opened on Oct 6, 2025

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

  Beneficial-AI-Foundation/vericoding#308 · Filter by author astefano opened on Oct 4, 2025
  

• @claude refactor lakefile

  Beneficial-AI-Foundation/vericoding#270 · Filter by author alok opened on Sep 19, 2025
  1

• add github mcp servers

  Beneficial-AI-Foundation/vericoding#153 · Filter by author alok opened on Sep 5, 2025
  1

  

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

  Beneficial-AI-Foundation/vericoding#151 · Filter by author alok opened on Sep 4, 2025
  1

• what is AllImports?

  Beneficial-AI-Foundation/vericoding#138 · Filter by author alok opened on Sep 3, 2025
  6

  

• change lean dafnybench to yaml format

  Beneficial-AI-Foundation/vericoding#137 · Filter by author alok opened on Sep 3, 2025
  

• make lake build clean

  Beneficial-AI-Foundation/vericoding#136 · Filter by author alok opened on Sep 3, 2025
  2

  

• uppercase Clever

  Beneficial-AI-Foundation/vericoding#134 · Filter by author alok opened on Sep 3, 2025
  

• make sure all the AIs use system prompt

  Beneficial-AI-Foundation/vericoding#133 · Filter by author alok opened on Sep 3, 2025
  

• extend tactic

  Beneficial-AI-Foundation/vericoding#131 · Filter by author alok opened on Sep 3, 2025
  

• look at more examples and see how LLM solves it vs how person would

  Beneficial-AI-Foundation/vericoding#130 · Filter by author alok opened on Sep 3, 2025
  2

• only import Mathlib

  Beneficial-AI-Foundation/vericoding#129 · Filter by author alok opened on Sep 3, 2025

• Test release notes as context

  Beneficial-AI-Foundation/vericoding#124 · Filter by author alok opened on Sep 2, 2025

• have model use grind

  Beneficial-AI-Foundation/vericoding#119 · Filter by author alok opened on Aug 29, 2025
  

• collect error messages and later categorize them

  Beneficial-AI-Foundation/vericoding#118 · Filter by author alok opened on Aug 29, 2025

• Active learning

  Beneficial-AI-Foundation/vericoding#107 · Filter by author alok opened on Aug 28, 2025

• Claude.md delaborator

  Beneficial-AI-Foundation/vericoding#103 · Filter by author alok opened on Aug 27, 2025
  

• Add reap

  Beneficial-AI-Foundation/vericoding#102 · Filter by author alok opened on Aug 27, 2025

• try out codex --search

  Beneficial-AI-Foundation/vericoding#90 · Filter by author alok opened on Aug 25, 2025
  

• setup tooling for github agent if its not too painful

  Beneficial-AI-Foundation/vericoding#84 · Filter by author alok opened on Aug 21, 2025
  

• install https://github.com/leanprover-community/repl and add to CLAUDE.md

  Beneficial-AI-Foundation/vericoding#82 · Filter by author alok opened on Aug 21, 2025
  1