Lightweight Python extension API