basedcryptoji

3 listings · 0 installs

Open-source publisher. Listings imported from github.com/basedcryptoji — credited to the original author with their license.

↗ github.com/basedcryptoji

Self-run

SKILL

Legal Risk Monitor

skill-basedcryptoji-clerk-aeon-skill-legal-risk-monitor · by basedcryptoji

Daily federal-court litigation sweep across a watchlist of entities. Alerts on new filings, suppresses noise. Demo-mode only — no secrets needed.

Free

Self-run

SKILL

Clerk Search

skill-basedcryptoji-clerk-aeon-skill-clerk-search · by basedcryptoji

Search 500M+ US federal court records via Clerk's public API. Litigation discovery on a person, entity, token issuer, or topic. Demo-mode only — no secrets needed.

Free

Self-run

SKILL

Formal Verification

skill-basedcryptoji-solvr-aeon-skill-formal-verification · by basedcryptoji

AI-assisted formal-verification work-order for a Base smart contract. Grounded in live Solvr intel + security scan. Output is a Lean / KEVM-ready spec, theorem list, and assumptions report. Inspired by Vitalik's 2026-05-18 FV essay.

Free

You've reached the end · 3 loaded