Rice KIM Impl 2410.0004 API