NEW: add a Tool interface and use it for stable state search.