Update the start-here page (#540) Note the actual package name (fixes #524). Note that 1.0 is upcoming, not eventual. Fix the link to the specification.
An artifact of well-specified annotations to power static analysis checks and JVM language interop. Developed by consensus of the partner organizations listed at our main web site, jspecify.org.
Our current focus is on annotations for nullness analysis.
Version 0.3 is relatively safe to depend on in your code. Or you can read a more detailed answer.