[hermes.plugins.context_engine]
formalcc-engine = plugins.context_engine.formalcc_engine:FormalCCContextEngine

[hermes.plugins.memory]
formalcc-memory = plugins.memory.formalcc_memory:FormalCCMemoryProvider
