Stavan-Jain/QECLean

Formalization project on Quantum Error Correction in Lean

This repository also configures its own agents. See what QECLean tells them →

45Stars on the repository

2Mods indexed here, across every type

yesterdayLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

MCP server Claude CodeCodexCursor +2

Lean Theorem Prover MCP. Runs locally from the lean-lsp-mcp Python package.

not rated 45 +1 yesterday A tokens not measured original Apache-2.0