DeepYardDeepYard

Best VeriSkill Alternatives

158 frameworks you can use instead of VeriSkill. Ranked by popularity, tag overlap, and live GitHub signals.

autonomouscoding-agentframeworkopen-sourceself-hostedevaluation
V

VeriSkill

Reference

Self-evolving framework enabling LLM agents to learn and refine program verification skills

View details Visit

Top Alternatives to VeriSkill

A

Automat

Autonomous feature engineering for materials science via LLM-driven genetic programming

OSSFree
Trinity College Dublin
5 shared tags
L

Laguna-M.1

MoE-based conversational AI framework optimized for efficient code generation and agent workflows

OSSFree
Poolside
5 shared tags
L

Lakitu

Self-hosted AI agent framework with real-time database and sandboxed code execution

OSSFree
ShinyObjectz
5 shared tags
L

Lakitu

Self-hosted AI agent framework combining Convex real-time sync with E2B sandboxed execution

OSSFree
ShinyObjectz
5 shared tags
O

OpenForgeRL

End-to-end RL framework for training stateful coding agents across diverse environments

OSSFree
Research Community
5 shared tags
A

AOHP

OS-level harness for secure and efficient AI agent execution with native system integration

OSSFree
Research Team
4 shared tags
A

Ares

Adaptive reasoning framework that optimizes LLM inference costs by dynamically scaling effort

OSSFree
Research Collaboration
4 shared tags
B

BrowserDD

Production-grade LLM-powered browser automation framework with DOM analysis and multi-model support

OSSFree
Hert4
4 shared tags
C

CAST

Case-driven framework that learns from execution trajectories to optimize LLM tool use

OSSFree
Research collaboration
4 shared tags
E

EnterpriseLab

Enterprise-grade framework for privacy-preserving AI agent development with closed-loop training

OSSFree
Ankush Agarwal
4 shared tags
E

EvoTool

Evolutionary framework that self-optimizes tool-use policies for long-horizon LLM agent tasks

OSSFree
Research Team (Yang et al.)
4 shared tags
G

Glite ARF

Verifier-driven framework for parallel LLM coding agents with built-in audit capabilities

OSSFree
Glite
4 shared tags

Compare directly

VeriSkill vs AutomatVeriSkill vs Laguna-M.1VeriSkill vs LakituVeriSkill vs Lakitu