The carboxysome is a protein-based nanoscale organelle in cyanobacteria and many proteobacteria, which encapsulates the key CO2-fixing enzymes ribulose-1,5-bisphosphate carboxylase/oxygenase (Rubisco) and carbonic anhydrase (CA) within a polyhedral protein shell. The intrinsic self-assembly and architectural features of carboxysomes and the semipermeability of the protein shell provide the foundation for the accumulation of CO2 within carboxysomes and enhanced carboxylation. Here, we develop an approach to determine the interior pH conditions and inorganic carbon accumulation within an α-carboxysome shell derived from a chemoautotrophic proteobacterium Halothiobacillus neapolitanus and evaluate the shell permeability. By incorporating a pH reporter, pHluorin2, within empty α-carboxysome shells produced in Escherichia coli, we probe the interior pH of the protein shells with and without CA. Our in vivo and in vitro results demonstrate a lower interior pH of α-carboxysome shells than the cytoplasmic pH and buffer pH, as well as the modulation of the interior pH in response to changes in external environments, indicating the shell permeability to bicarbonate ions and protons. We further determine the saturated HCO3- concentration of 15 mM within α-carboxysome shells and show the CA-mediated increase in the interior CO2 level. Uncovering the interior physiochemical microenvironment of carboxysomes is crucial for understanding the mechanisms underlying carboxysomal shell permeability and enhancement of Rubisco carboxylation within carboxysomes. Such fundamental knowledge may inform reprogramming carboxysomes to improve metabolism and recruit foreign enzymes for enhanced catalytical performance.