Dados escolares do censo do Inep. Coloque na pasta data/escolas o arquivo encontrado no site do Inep. Depois, coloque na pasta data/geojson o arquivo geojson de municípios.
Censo Escolar do Inep. https://www.gov.br/inep/pt-br/areas-de-atuacao/pesquisas-estatisticas-e-indicadores/censo-escolar/resultados