Searching protocol for "color-trace"
Systematic argument analysis for stronger reasoning.
Core session management for AIDA.