/hets-agent

The HetsAgent wraps Hets around a message broker (currently RabbitMQ) to perform analysis and proving jobs

Primary LanguageRubyGNU Affero General Public License v3.0AGPL-3.0

Stargazers