# leanEthereum/leanSpec

<https://repo.masters-masters.com/en/repos/leanEthereum/leanSpec>

[Home](https://repo.masters-masters.com/en) › [leanEthereum](https://repo.masters-masters.com/en/owners/leanEthereum) › [leanSpec](https://repo.masters-masters.com/en/repos/leanEthereum/leanSpec)

leanEthereum/leanSpec has 145 stars on GitHub. Its RepoMasters card: Prototype tier. Lean Ethereum protocol specifications and test vector generation framework.

| Field | Value |
| --- | --- |
| Owner | [leanEthereum](https://repo.masters-masters.com/en/owners/leanEthereum) |
| Stars | 145 |
| Forks | 85 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | MIT |
| Created | 2025 |
| Topics | eth, ethereum, ethereum-testing, lean-ethereum, post-quantum-cryptography |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [leanEthereum/leanSpec](https://github.com/leanEthereum/leanSpec) |

## Repository

Lean Ethereum protocol specifications and test vector generation framework.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by leanEthereum

- [leanEthereum/leanVM · ★ 178 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanEthereum/leanVM)

## Nearby in Python

- [apimart-API-Gateway/grok-image-api · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/apimart-API-Gateway/grok-image-api)
- [Saekisui/binaural-voice · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/Saekisui/binaural-voice)
- [PolyU-VCLab/OmniCompass · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/PolyU-VCLab/OmniCompass)
- [garethr/django-test-extensions · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/garethr/django-test-extensions)
- [progrium/hookah · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/progrium/hookah)
- [carljm/django-form-utils · ★ 145 · Python · Prototype](https://repo.masters-masters.com/en/repos/carljm/django-form-utils)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.