Hackernews posts about IronClaw

1. 01
   

   newIronClaw: a Rust-based clawd that runs tools in isolated WASM sandboxesgithub.com

   ▲ 149dawg91267d💬 69savesaved
2. 02
   

   newIronClaw 1.0 – one secure agent on CLI, Slack and Telegram, one memorynear.ai

   ▲ 3alejoras101ddiscusssavesaved
3. 03
   

   newIronClaw 1.0 – one secure agent on CLI, Slack and Telegram, one memorynear.ai

   ▲ 2dannycb100ddiscusssavesaved
4. 04
   

   newShow HN: I put an AI agent on a $7/month VPS with IRC as its transport layergeorgelarson.me

   ▲ 340j0rg3226d💬 96savesaved
5. 05
   

   newShow HN: OneCLI – Vault for AI Agents in Rustgithub.com

   ▲ 161guyb3240d💬 52savesaved
6. 06
   

   newShow HN: DenchClaw – Local CRM on Top of OpenClawgithub.com

   ▲ 147kumar_abhirup243d💬 124savesaved
7. 07
   

   newIronclad – formally verified, real-time capable, Unix-like OS kernelironclad-os.org

   ▲ 375vitalnodo364d💬 144savesaved
8. 08
   

   newIronclad 0.7.0 – formally verified Unix-like kernel in SPARK and Adacodeberg.org

   ▲ 27birdculture525d💬 1savesaved
9. 09
   

   newIronclad: Unix-like operating system kernel written in SPARK and Adacodeberg.org

   ▲ 21thunderbong525ddiscusssavesaved
10. 10
    

    newIronclad OS project popping out Unix-like kernel using Adawww.theregister.com

    ▲ 18mmooss362d💬 3savesaved
11. 11
    

    newThere's No Rust on This Ironclad Kernel: An OS Written in Adahackaday.com

    ▲ 8SeenNotHeard359ddiscusssavesaved
12. 12
    

    newThere's No Rust on This Ironclad Kernelhackaday.com

    ▲ 7ajdude358d💬 1savesaved
13. 13
    

    newNew Ironclad Ada OS Kernel Distro Snapshot with MATE and Fastfetchblog.ironclad-os.org

    ▲ 4mintsuki400d💬 2savesaved
14. 14
    

    newFormal Verification Benchmarks Are the Key to Ironclad Software Infrastructurewww.galois.com

    ▲ 2surprisetalk135ddiscusssavesaved
15. 15
    

    newVirtualization Support to Ironcladblog.ironclad-os.org

    ▲ 2jaypatelani274ddiscusssavesaved
16. 16
    

    newIronclad (formally verified kernel) 0.6.0 releasedsavannah.nongnu.org

    ▲ 2gneuromante640ddiscusssavesaved
17. 17
    

    newIronClaude: Open-source ClaudeCode workout coach that stores your data in GitHubgithub.com

    ▲ 1mosnicholas269d💬 1savesaved
18. 18
    

    newAdvancing Computer Use with Ironcladopenai.com

    ▲ 1apetresc32ddiscusssavesaved
19. 19
    

    newIronclad's Rivet and AI Agent Development with MCPironcladapp.com

    ▲ 1aryamanagraw439ddiscusssavesaved
20. 20
    

    newShow HN: AI Contract Reviewer – Flags Risks and Suggests Fixes in Minutes

    ▲ 1Saurabh_Kumar_298d💬 1savesaved
21. 21
    

    newAsk HN: Would you use a product to draft contracts for SMBs and solopreneurs?

    ▲ 1nafissalauddin599d💬 1savesaved
22. 22
    

    newMulti-Agent AI for Indian Lawyers. Is this solving a real pain point?

    ▲ 1anandk543437ddiscusssavesaved
23. 23
    

    newWebTUI – A CSS Library That Brings the Beauty of Terminal UIs to the Browserwebtui.ironclad.sh

    ▲ 321IroncladDev574d💬 153savesaved
24. 24
    

    newAdding Modern Desktop Environment Options to Gloireblog.ironclad-os.org

    ▲ 1ajdude401ddiscusssavesaved
25. 25
    

    newTehcCringe – An open-source satirical tech news outlettwitter.com

    ▲ 1IroncladDev701ddiscusssavesaved
26. 26
    

    newIronCalc – Open-Source Spreadsheet Enginewww.ironcalc.com

    ▲ 726kaathewise728d💬 227savesaved
27. 27
    

    newIronGlass Brings Legendary Soviet Cinema Lenses to Mirrorless Cameraspetapixel.com

    ▲ 32PaulHoule226d💬 26savesaved
28. 28
    

    newTUI spreadsheet app in Rust based on IronCalc enginegithub.com

    ▲ 15da_rob707d💬 4savesaved
29. 29
    

    newShow HN: EvoCat – a strict iOS app blocker with "cat"-based enforcementevocat.app

    ▲ 2anzerarkin211ddiscusssavesaved
30. 30
    

    newSpreadsheet-Defined Function Democasey.github.io

    ▲ 3rodarmor76d💬 1savesaved

· edit