add script to pretty print server log #146
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Context
This PR adds a script to pretty print the output of the github-mcp-server log. This is useful for developers working on tools that want to see the full interaction between host and server.
This was already possible by running the server with:
However, with the introduction
script/prettyprint-log
, you can do:and get a nice, pretty-printed output of all the server<->host interactions:
This new script can take a file as an argument, or read from stdin by default if none is passed. It also detect whether it's outputting to an actual terminal to enable/disable the use of colors.
As an aside note, if we end up changing the log's output format, or we want to drop the use of colors, the script can be even more simple.
Closes: #145