claude

ancplua-lean-proof

Formally verify C#/.NET state machines with Lean 4 and turn proof counterexamples into reproduced, fixed bugs.

0 on GitHubMITupdated 30 days ago

Not in a marketplace yet, so it loads for one session with --plugin-dir.

Plugin ancplua-lean-proof in ANcpLua/ancplua-lean-proof. Commands read from the repo's manifest — 29 days ago.

What it installs

Skills (1)

  • lean-proof

Subagents (1)

  • skeptic
View source on GitHub

Problems found in this repo's manifests

  • .claude-plugin/marketplace.json is not valid JSON

Maintain ancplua-lean-proof?

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