Looks like a potentially solid coding model, but this is also interesting:

"Reaches comparable solution quality to leading open models using approximately 3x fewer inference-time reasoning tokens."

Doesn't seem to be an MLX version available at the moment, unless I'm mistaken?