Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)
2 points
varunpratap369
3 months ago
2 comments
2.
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)
2 points
varunpratap369
3 months ago
1 comment
3.
Show HN: SuperLocalMemory– Local-first AI memory for Claude, Cursor and 16+tools (github.com/varun369)
1 point
varunpratap369
4 months ago
discuss
4.
Show HN: SuperLocalMemory – AI memory that stays on your machine, forever free (github.com/varun369)
1 point
varunpratap369
4 months ago
discuss
5.
Show HN: Shodh-Memory – Offline AI Memory for Robots and Drones (Rust/Python) (github.com/varun29ankuS)
1 point
shodh-varun
6 months ago
1 comment
6.
Show HN: Shodh – Cognitive memory for AI agents (runs on edge) (github.com/varun29ankuS)
1 point
Varun_shodh
6 months ago
discuss
7.
Show HN: Open-source AM32 ESC configurator with thrust test bench (vayu-dun.vercel.app)
1 point
shodh-varun
6 months ago
discuss
8.
Show HN: Shodh– AI memory that learns from use, no LLM calls, single Rust binary (github.com/varun29ankuS)
6 points
Varun_shodh
3 months ago
1 comment
9.
Show HN: DeskMic a Rust based hyper-light continuous transcriber/AI summarizer (github.com/varunr89)
1 point
varunr89
4 months ago
discuss
10.
Remote control PC (github.com/varunon9)
1 point
varunon9
9 years ago
discuss
11.
Show HN: Honeytree – Grow a forest in your terminal while you code (github.com/Varun2009178)
1 point
varunn29
2 months ago
discuss
12.
Drawing or sketching on (any) webpages (gist.github.com)
1 point
varun729
14 years ago
discuss