A small Sage package for Polynomial Optimization using tools from real algebraic geometry.