---
title: "ANcpLua/ancplua-lean-proof"
description: "Formally verify C#/.NET state machines with Lean 4 and turn proof counterexamples into reproduced, fixed bugs."
canonical_url: "https://awesomeclaudeplugins.com/ANcpLua/ancplua-lean-proof"
repository_url: "https://github.com/ANcpLua/ancplua-lean-proof"
stars: 0
forks: 0
plugins_count: 1
publication_state: "indexable"
quality_note: "Canonical repository has a validated plugin count."
catalog_updated: "2026-10-18T00:34:25.053Z"
install_command: "/plugin marketplace add ANcpLua/ancplua-lean-proof"
---

# ANcpLua/ancplua-lean-proof

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

## Repository

- [Catalog detail page](https://awesomeclaudeplugins.com/ANcpLua/ancplua-lean-proof)
- [GitHub repository](https://github.com/ANcpLua/ancplua-lean-proof)
- Stars: 0
- Forks: 0
- 1 plugin entries are reported.

## Catalog provenance

- Publication state: indexable
- Quality note: Canonical repository has a validated plugin count.
- Repository metadata source: catalog snapshot dated Oct 18, 2026, not live GitHub API data

## Installation

When this repository exposes a Claude Code marketplace, add it with:

```bash
/plugin marketplace add ANcpLua/ancplua-lean-proof
```