V
VeriSkill
Self-evolving framework enabling LLM agents to learn and refine program verification skills
Open SourceFree
About
VeriSkill is a research framework that enables LLM agents to autonomously improve their program verification capabilities through self-evolution. The system allows agents to distill verification skills from execution trajectories and feedback, creating a continuous learning loop for automated formal verification tasks. Designed for researchers exploring autonomous skill acquisition in code verification domains.
Details
| Language | |
| Patterns |
Tags
autonomouscoding-agentframeworkopen-sourceself-hostedevaluation
Quick Info
- Organization
- Research
- Pricing
- open-source
- Free Tier
- Yes
- Updated
- Aug 1, 2026
Also in Frameworks
L
LangChain
Build context-aware reasoning applications with LLMs
OSSFree
LangChain AI
143.1K850.0K/wtoday468
A
AutoGen
Microsoft's framework for building multi-agent AI systems
OSSFree
Microsoft
60.1K15w ago445
C
CrewAI
Multi-agent orchestration framework for collaborative AI workflows
OSSFree
CrewAI Inc
56.4Ktoday299