Server metrics interface for type-safe metric recording.
Get current server stats
Record a connection state change
Record an error
Record a request (tool invocation)
Record an active session change
Server metrics interface for type-safe metric recording.