solvr

Here are 2 public repositories matching this topic...

basedcryptoji / clerk

AI-native legal data layer for the agentic economy. 500M+ US federal court records via x402 micropayments on Base. $0.001 USDC per query, or hold 1B+ $CLERK for free unlimited.

python legal base clerk court-record x402 solvr

Updated May 19, 2026
Python

basedcryptoji / solvr-aeon-skill

Star

AEON skill pack for Solvr — AI-assisted formal verification work-order, grounded in live onchain intel. Inspired by Vitalik's FV essay.

security smart-contracts base formal-verification aeon vitalik lean4 agent-skills solvr

Updated May 20, 2026

Improve this page

Add a description, image, and links to the solvr topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the solvr topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly