I know about muenster.im which is a Mastodon instance specific to the city of Münster. There is also mastodon.hamburg for example.

Those are not local-by-default social media services, though. But I guess it’s easier to find an instance with a local focus instead of “Jodel but federated”.

If mastodon would introduce location you could use it for that kind of stuff but I think they are busy doing other things. meaning, someone else would need to implement the location feature. And that's totaly doable

I feel like if there is one, not many people in Fediverse would use it. Because staying anonymous and not constantly spread person stuff like your location has somewhat high priority for the people here.

I'm not aware of one who has locality embedded at it's core.

I'd love to see an alternative to kleinanzeigen.de . I recently learned (here on Lemmy) that there is Flohmarkt. I still have to try it myself. But it doesn't seem to sort the listings by proximity, which would really add to it.

And there is Mobilizon for events.

Both projects are federated afaik. But the 'local' aspect isn't really baked in to the way they federate.

theres this one that attemps by ip i think https://fediverse.observer/

e. seems pretty microblog heavy... no lemmy is suggested for example