Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
451.
▲
Show HN: Lean-pq a typesafe PostgreSQL connector for lean
(github.com/typednotes)
2 points
ngrislain
3 months ago
1 comment
452.
▲
Show HN: HELmR – A runtime control layer for autonomous agents
(github.com/helmr-labs)
2 points
systems_arch
3 months ago
1 comment
453.
▲
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)
(github.com/varun369)
2 points
varunpratap369
3 months ago
1 comment
454.
▲
Ask HN: When should you stop building an open-source AI agent framework?
2 points
thienz
4 months ago
1 comment
455.
▲
Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor
2 points
wozzio
5 months ago
1 comment
456.
▲
Show HN: An AI collaboration playbook(AGENTS.md and code map and template)
(privydrop.app)
2 points
david_bai
5 months ago
1 comment
457.
▲
Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text
(github.com/encypherai)
2 points
encypherai
a year ago
1 comment
458.
▲
Show HN: Ts-result – Rust's Result<T, E> type for explicit error handling in TS
(github.com/trylonai)
2 points
iLikeFunctional
a year ago
1 comment
459.
▲
Show HN: LLM-driven Tamagotchi built with JavaScript and local model
(github.com/ykhli)
2 points
ykhli
2 years ago
1 comment
460.
▲
Show HN: AG2B – Run the agent loop in the browser, expose your tools via WebMCP
(ag2b.ai)
2 points
notmedia
9 days ago
discuss
461.
▲
Show HN: TurnZero – Persistent Expert for LLMs
2 points
dmilicev2
a month ago
discuss
462.
▲
Show HN: We open-sourced a 6-library governance stack for AI agents (Python)
2 points
tegs
a month ago
discuss
463.
▲
Show HN: HWT (Hash Web Tokens) – minimalist protocol for auth state
(jimmont.com)
2 points
jimmont
2 months ago
discuss
464.
▲
Show HN: ImmutableBase – Strict immutable data objects for PHP
(github.com/ReallifeKip)
2 points
bill402099
3 months ago
discuss
465.
▲
Show HN: Endgame – Production-aware ML under the sklearn API
2 points
cameronhamilton
3 months ago
discuss
466.
▲
Show HN: Personal AI gateway for OpenClaw – tokenomics
(github.com/rickcrawford)
2 points
crawdog
3 months ago
discuss
467.
▲
Show HN: Autonoma – Python secret fixer that refuses unsafe fixes
(github.com/VihaanInnovations)
2 points
v_CodeSentinal
3 months ago
discuss
468.
▲
Show HN: Turn – A compiled systems language for agentic computation
2 points
askmuyukani
3 months ago
discuss
469.
▲
Show HN: Sleeping LLM – A language model that remembers by sleeping
(github.com/vbario)
2 points
vbaranov87
3 months ago
discuss
470.
▲
Show HN: Agent workspace switcher for Git worktrees
(github.com/prbdias)
2 points
prbdias
3 months ago
discuss
471.
▲
Show HN: The only CLI your AI agent will need
(github.com/brwse)
2 points
jrandolf
3 months ago
discuss
472.
▲
Show HN: System architecture method using mythology and LLMs (no CS background)"
(github.com/FusionAlchemist)
2 points
fusionalchemist
4 months ago
discuss
473.
▲
Show HN: Claude Pilot – Claude Code is powerful. Pilot makes it reliable
(github.com/maxritter)
2 points
rittermax
4 months ago
discuss
474.
▲
Show HN: Funxy – A typed scripting language that embeds into Go apps
(github.com/funvibe)
2 points
funbitty
4 months ago
discuss
475.
▲
Show HN: Tenuo – Capability-Based Authorization (Macaroons for AI Agents)
2 points
niyikiza
4 months ago
discuss
476.
▲
Show HN: Nod – Pre-code compliance validation for agentic coding workflows
(github.com/mraml)
2 points
mraml
4 months ago
discuss
477.
▲
Show HN: A private, PQ-secure, infinitely scalable blockchain[fully open-source]
(github.com/nerv-bit)
2 points
Nerv_b
4 months ago
discuss
478.
▲
Show HN: BlackTent – a strictly local CLI for sanitized incident bundles
(github.com/sylviesuite)
2 points
blacktent
4 months ago
discuss
479.
▲
Show HN: Kontra - data quality validator that avoids unnecessary full scans
(github.com/Saevarl)
2 points
saevarl
4 months ago
discuss
480.
▲
Show HN: PR Slop Stopper
(github.com/vmazi)
2 points
vmazi
4 months ago
discuss
More