The reasons I find “Fedeproxy” better is:
- More descriptive as a whole.
- Positioned as Forgefriends Fedeproxy, a project.
- Fedeproxy on its own is meaningful too, for common stand-alone use (e.g. in chat).
- Just Proxy would be too generic.
(Btw, I like the capitalization as used here, and it would still sound good through a screenreader I think)