SWE-agent takes a GitHub issue and tries to automatically fix it
Python SDK for agent monitoring, LLM cost tracking, benchmarking, etc.
A set of powerful tools to perform TDD on MAS based on JADE
DisChoco: Distributed Constraint Reasoning Solver
TuCSoN tuple-based coordination middleware
Simulating worlds in a computer
Compose the writings semi-automatically