Arxiv 2608 13459v1 Capri Contract Aware Proof Repair For Isabelle
ASecurity
**arXiv ID:** 2608.13459v1 **Authors:** Jim Woodcock, Gabriel Leite, Augusto Sampaio, Ran Wei **URL:** http://arxiv.org/abs/2608.13459v1 **Utility Score:** 1.00
Installs into .claude/skills of the current project.
Sponsors
SSkills DirectorySkills Directory
Know which skills are safe — weekly.
SSkills DirectorySkills Directory
Is that skill safe to install?
Are you the author of Arxiv 2608 13459v1 Capri Contract Aware Proof Repair For Isabelle?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/hiyenwong-arxiv-2608-13459v1-capri-contract-aware-proof-repa)
--
name: arxiv-2608-13459v1-capri-contract-aware-proof-repair-for-isabelle
description: 'CAPRI: Contract-Aware Proof Repair for Isabelle (arXiv: 2608.13459v1)'
metadata:
{
"arxiv_id": "2608.13459v1",
"utility": 1.0,
"title": "CAPRI: Contract-Aware Proof Repair for Isabelle",
"authors": "Jim Woodcock, Gabriel Leite, Augusto Sampaio, Ran Wei",
"url": "http://arxiv.org/abs/2608.13459v1"
}
--
# CAPRI: Contract-Aware Proof Repair for Isabelle
**arXiv ID:** 2608.13459v1
**Authors:** Jim Woodcock, Gabriel Leite, Augusto Sampaio, Ran Wei
**URL:** http://arxiv.org/abs/2608.13459v1
**Utility Score:** 1.00
## Summary
This skill was automatically generated from the arXiv paper titled "CAPRI: Contract-Aware Proof Repair for Isabelle" (ID: 2608.13459v1).
## Usage
This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.
## References
- arXiv: http://arxiv.org/abs/2608.13459v1
