Pilot PRSpec in CI (read-only EIP compliance checks)

[Fosurero]

Hello Nethermind team,

Following the recent discussion around the EIP-1559 behavior analysis and the FeeCollector classification, I would like to propose a very small, non-intrusive pilot to evaluate PRSpec in real workflow conditions.

What PRSpec does

PRSpec performs semantic compliance checks between client implementations and Ethereum specifications (EIPs + execution specs).

Pilot proposal (low risk)

Run PRSpec in CI for selected PRs in read-only mode:

• no PR blocking
• no workflow changes
• generates HTML/JSON reports only

Suggested scope:
• EIP-1559 logic checks
• EIP-4844 blob gas pricing logic

Two pilot options

Option A — Internal run

PRSpec runs inside Nethermind CI using your own LLM API key.

Pros:

• no external dependency
• full control & privacy

Option B — Hosted demo

I provide a rate-limited endpoint for evaluation.
No credentials required.

Goal

Evaluate usefulness during a 2-week non-binding trial.

Expected output

A simple report showing:

• potential spec divergences
• ambiguous spec interpretations
• logic classification hints

Why this might help

PRSpec aims to improve visibility around:

• spec interpretation differences
• implicit behavior vs explicit EIP logic
• areas where documentation clarity may help contributors

If this seems useful, I can prepare a minimal CI integration example.

Thank you for your time and feedback.