librpci:
A C language library for interposing ports of a Hurd task running on top of GNU Mach micro-kernel. Using this library, it would be possible to implement a trace/replay system, RPC debugger, sandbox, etc.

hdb:
A RPC level debugger with useful command set to analyze/manipulate a task at run time. For example, the user will be able to set RPC break points, manipulate port rights and data, trace and replay a task.