Generate full verification suites for SpecNode contracts: property tests from invariants, unit tests from I/O, fuzz tests from ambiguous paths, and performance checks from metrics.
MIT
60+ units, live FX, timezones, and date arithmetic for AI agents.
World Bank World Development Indicators: curated country-year economy, health, education and more.