GitHub repository: ontohub/hets-agent
Primary language: Ruby
Description: The HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs