Thats something I agree with. I am right now working on an offline api client: h...

		dhruv3006 2 days ago \| parent \| context \| favorite \| on: AI will make formal verification go mainstream Thats something I agree with. I am right now working on an offline api client: https://voiden.md/. I wonder if this can be a feature.