onboard is the Ownership, Accountability, and Responsibility type checker and linter - View it on GitHub