Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

A meta-language for Kappa generation that allows the creation of protein hierarchies and the concise representation of protein-interaction rules. These structures can then be expanded into Kappa.

Causal Analysis for Kappa

A simple tool that takes a Kappa trace and a rule name, and lists values (and corresponding frequencies) taken by each logical site of each agent on which the rule has been applied.