The English introduction is being prepared.
SDKProof
Type-checks how well AI writes your SDK's current API by compiling model output against the real installed package (no LLM judge).
SuperAPI AI DirectorySuperAPI AI DirectoryType-checks how well AI writes your SDK's current API by compiling model output against the real installed package (no LLM judge).
The English introduction is being prepared.
