YourAI.tools

Repository

solidus

Verified repository

Beat a formally verified Yul → EVM compiler on total gas — while its machine-checked correctness theorem still proves.

paradigmxyz/solidus22stars11forks

1

skill

Jul 26

updated

Published byParadigm logoParadigmVerified publisherwww.paradigm.xyz

Skills from this repository

Search the skills in this repository.

Sort by

Showing 1 skill from Paradigm/solidus

AboutPrivacy PolicyTerms and Conditions

© 2026 YourAI.tools. Every skill from an identity-verified publisher.

Independent catalog. Not affiliated with, endorsed by, or sponsored by Anthropic or any listed publisher. All trademarks belong to their respective owners.