Envious-Data/EnvOpenPico
An open source RP2040 MCU Board Family
151 starsShellGPL-3.0rp2040picomcumicrocontroller
REVIEWED87/100
Scanned 2026-06-14 · gemini v1
Dimension breakdown
Security
95/100
No findings
Quality
85/100
5 findings
License
78/100
1 finding
Completeness
85/100
2 findings
Findings (8)
MEDIUM: 3LOW: 3INFO: 2
- MEDIUMqualityMissing Core Design Files for Review
- MEDIUMqualityLack of Formal Verification Documentation
- MEDIUMcompletenessIncomplete Usage Instructions in README
- LOWqualityInconsistent Primary Language Indication
- LOWlicenseMissing explicit license declaration and copyright in README
Detailed file:line citations + recommended fixes are visible to the maintainer of this repo after claiming the listing.
Maintainer of this repo?
Claim this listing in 30 seconds with GitHub OAuth. You'll see detailed findings, get notified about matched bounties, and can trigger re-scans on demand.
Claim listingEmbed the badge.
Drop it into your README. Every view backlinks to this verification page.
Markdown
[](https://archimedes.market/r/Envious-Data/EnvOpenPico)HTML
<a href="https://archimedes.market/r/Envious-Data/EnvOpenPico"><img src="https://archimedes.market/api/badge/Envious-Data/EnvOpenPico.svg" alt="Archimedes Trust Verified"/></a>