Show HN: Cate – open-source canvas IDE for agentic coding workflows
Show HN (score: 5)Description
More from Show
Show HN: Inflexa – open-source Intelligence for Biology
(<a href="https://www.w3.org/TR/prov-overview/" rel="nofollow">https://www.w3.org/TR/prov-overview/</a>).<p>Our provenance is deterministic and driven programmatically. Our architecture imposes it, not the whim of agents that decide whether or not to call a tool / or an MCP (such as <a href="https://arxiv.org/abs/2508.02866" rel="nofollow">https://arxiv.org/abs/2508.02866</a>).<p>The analysis is backed by a PROV document that maintains the lineage of every step, every action, and every file.<p>Other platforms such as Claude Science are a security disaster waiting to happen: they allow agents to determine which Python & R packages they need to perform an analysis step. Sure, you need to approve the installation, but if you get prompted tens of times, are you really going to vet every package and every version?<p>We offer batteries-included sandboxed execution. The analysis' code is generated by agents and executed in ephemeral sandboxes. We do not install packages on your system.<p>Curious to hear your thoughts!
Show HN: Maith – open math research with AI
Show HN: Maith – open math research with AI If AI got lucky or not, AI is surely going to assist in solving serious math problems. If you want to spend your resources/weekends contributing, this repository is full of math problems where you can add your thoughts (or proofs - for you Good Will Hunting type people) for others to build on it and we all together can try to change the world of math.<p>I have already extended the research with manual proof of Jacobian Conjecture that was posted on Twitter (with attribution).
No other tools from this source yet.