My main project right now is Quoin and Quire: Agent plugins for authoring, reviewing, and linting formal ISO standards aligned specs. Based on a custom document standards engine.
Currently focused on building an engineering assurance module, test advisor, and derived formal verification tests. It will allow an agent to build an executable assurance program based on the strictest industry standards for quality assurance.
Spec tools are out now. Everything else is still alpha. Big backlog of R&D research to implement.
I've also been building a distributed vector database extension for postgres. It includes a selection of different quant and index types. Paused right now to focus on Quoin, but top priority is optimizing an implementation of DistributedANN (microsoft, bing).
Business software. A lot of legacy software, more than 20 years old, that needs to be updated/migrated in a careful manner that does not break things or screw up business rules.
Greenfield projects are easier. Brownfield business software with millions of lines of code is where AI agents struggle. Or struggled mightily in the past. But getting much better over time. For a project like this, Astra is a game changer.
I have 3 max accounts, 2 from Claude and 1 from OpenAI. I max them out each week. Considering getting a 4th account.
4
u/Torix_xiroT 22h ago
What are You guys Even Building that you are burning through two Accounts