io.github.timheuer/sampledotnetmcpserver