It appears from their repo that they have 5-6 people working full time on this. Assuming about 250k per developer that puts their burn at 6 * 250k = 1.5 million a year. So yeah they have some time. Although I would be severely concerned at their progress considering it’s already been a year and they don’t seem to have shipped much. No proof of PMF or any sort of revenue with over a third of their runway depleted should have them hustling to get on the boards.
If you're looking for evidence in the public repo, consider what's not in there: one co-founder is missing, and so are the commits from the other author/co-founder for over a year. Not the signals you want in a dev-tooling project.
Except how many users do they have? If I were a VC fund looking to give them another round, I’d want to know their metrics, whether that’s users, downloads, or revenue. Judging by their blog, it’s been a year since they raised the money. Have they produced anything other than a bunch of code? Because code isn’t worth much without users.