Search results

Fix Aeneas sync command

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#29 In Beneficial-AI-Foundation/formal-verification-skills;

· a-dangelo opened on Apr 9, 2026

·  

V1 - Lean Core

Proof decomposition and planning

Status: Open.

#27 In Beneficial-AI-Foundation/formal-verification-skills;

· a-dangelo opened on Apr 3, 2026

Make the lsp mcp into a CLI

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#22 In Beneficial-AI-Foundation/formal-verification-skills;

· a-dangelo opened on Mar 13, 2026

·  

V1 - Lean Core

Tracking issues for future enhancements

Status: Open.

#9 In Beneficial-AI-Foundation/formal-verification-skills;

· a-dangelo opened on Feb 13, 2026

Metrics and evals

Status: Open.

#5 In Beneficial-AI-Foundation/formal-verification-skills;

· a-dangelo opened on Feb 9, 2026

Add verus-verify for v2

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#4 In Beneficial-AI-Foundation/formal-verification-skills;

· a-dangelo opened on Feb 9, 2026

·  

V2 - Verus Core