Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
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