This ork presents an approach to the flexibility of energy consumption in Renewable Energy Communities (RECs). A two-stage model for quantifying the flexibility provided by the domestic energy resources operation and its negotiation in a market platform is proposed. In stage 1, the optimal consumption of each prosumer is determined, as well as the respective technical flexibility of their resources, namely the maximum and minimum resource operation limits. In stage 2, this technical flexibility is offered in a local flexibility-only market structure, in which both the DSO and the prosumers can present their flexibility needs and requirements. The flexibility selling and buying bids of the prosumers participating in the market are priced based on their base tariff, which is the energy cost of the prosumers corresponding to their optimal schedule of the first stage when no flexibility is provided. Therefore, providing flexibility is an incentive to reduce their energy bill or increase their utility, encouraging their participation in the local flexibility market.