💎 zakrad/certora-prover-skill

---
title: "zakrad/certora-prover-skill — Claude Code skill discovered by cue"
description: "Claude Code / Agent Skill for writing CVL specs and formally verifying EVM smart contracts with the Certora Prover (CVL). Unofficial."
layout: page
updated: 2026-06-22
tags: [claude-code, skill, core]
---

# 💎 [zakrad/certora-prover-skill](https://github.com/zakrad/certora-prover-skill)

**★ 0** · exceptional (score 10.5) · Python · agent-skill, certora, claude-code, claude-skill, cvl

> Claude Code / Agent Skill for writing CVL specs and formally verifying EVM smart contracts with the Certora Prover (CVL). Unofficial.

## Why cue indexed it

cue ran [GitHub Code Search](https://docs.github.com/en/search-github/searching-on-github/searching-code) for `filename:SKILL.md` and found this repo. It scored 10.5 based on:
- ⭐ 0 stars
- 🗓️ Last pushed: 2026-06-22
- 🏷️ Tags: agent-skill, certora, claude-code, claude-skill, cvl, ethereum, formal-verification, smart-contracts, solidity

## Best fit cue profiles

[core](../core.md)



## Install via cue

```bash
npm install -g cue-ai
cue skills add zakrad/certora-prover-skill --profile core
```

## About

This page was auto-generated by [cue](https://github.com/opencue/cuecards) — an open-source agent profile manager for Claude Code, Codex, Cursor, Cline, Gemini, Copilot, and 4 other AI coding agents. cue scopes skills + MCPs + plugins per-directory so each project only loads what it needs.

**Repo author:** if you'd rather we don't list this skill, add `<!-- cue: ignore -->` to your README and we'll skip it permanently.

---

[← back to all profiles](../index.md) · [view repo on GitHub →](https://github.com/zakrad/certora-prover-skill)