💎 zakrad/certora-prover-skill

Name: 💎 zakrad/certora-prover-skill
Author: opencue

ASecurity

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

6 stars
0 votes
0 copies
3 views
Added September 2, 2026

ai-agentspythonbashgit

Works with

claude code
cursor
cli
mcp

Security analysis

A96/100

mediumInstalls packages at runtime which could introduce malicious dependencies

Pro scans all 21 files and shows the line behind each finding

Scanned September 2, 2026

npx -y skills add opencue/cuecards --skill skills --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of 💎 zakrad/certora-prover-skill?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for 💎 zakrad/certora-prover-skill

[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/opencue-zakrad-certora-prover-skill/badge)](https://www.skillsdirectory.com/skills/opencue-zakrad-certora-prover-skill)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro

SKILL.md

---
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)