Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo
Checking algorithms should be capable of outputting text messages to the Verification-report window.
Can you describe the request a little bit more?
Algorithms are able to print message but they are not able to create an link to the counterexample.