claude

vericoding

Write code plus a machine-checked proof against a frozen spec (Lean 4 first; Dafny and Verus experimental), checked by a gate that rejects bypasses and spec edits.

1 on GitHubby Alok Singhv0.1.1MITupdated 20 days agodevelopment
/

Plugin vericoding from marketplace vericoding-skill in alok/vericoding-skill. Commands read from the repo's manifest — 19 days ago.

What it installs

Skills (1)

  • vericoding

    Vericoding: write code together with a machine-checked proof that it meets a frozen formal spec, Lean 4 first (Dafny and Verus experimental), and refuse to call it done until a gate confirms the verifier accepted it, the spec is untouched, and no sorry/admit/axiom/assume or other bypass was slipped

View source on GitHub

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

cli-anything

claude

Build powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.

5 commands

HKUDS/CLI-Anything 58,665

agent-browser

claude

Automates browser interactions for web testing, form filling, screenshots, and data extraction

12 skills

vercel-labs/agent-browser 50,373

Open Code Review

codex

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

slidev

claude

Claude Code skill for creating and presenting Slidev slidedecks

1 skill

slidevjs/slidev 49,452

Maintain vericoding?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex pluginslisted