HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
811.
▲
Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)
github.com/varun369
1 comment
4 months ago
varunpratap369
2 points
812.
▲
Show HN: A 4-tier self-healing system for local AI agents (was silently broken)
1 comment
4 months ago
ramsbaby-dev
2 points
813.
▲
Show HN: Rampart – Open-source security for Claude and AI agents in YOLO mode
github.com/peg
1 comment
4 months ago
cl4p
2 points
814.
▲
Show HN: Federated app store for self-hosted AI agents (Apache-2.0)
github.com/agentsystems
1 comment
8 months ago
brandon-bennett
2 points
815.
▲
Show HN: Resist – Nutrition Labels for Digital Content
github.com/bipsandbytes
1 comment
10 months ago
bipsandbytes
2 points
816.
▲
Show HN: String Flux – Simplify everyday string transformations for developers
stringflux.io
1 comment
a year ago
eaglepeak
2 points
817.
▲
Scaling AI agent tooling: ideas for dynamic discovery and execution workflows
1 comment
a year ago
artski
2 points
818.
▲
Ask HN: Improving the Usability of HN?
1 comment
5 years ago
unknown_error
2 points
819.
▲
Show HN: your very own horse_ebooks generator
github.com/parkr
discuss
13 years ago
parkr
2 points
820.
▲
OrganicJS, reusable JS+HTML+SVG components in
javacrypt.wordpress.com
discuss
13 years ago
marcfawzi
2 points
821.
▲
Show HN: Memory Magico – CLI based memory, wiki and deterministic sprints
github.com/mattrichmo
discuss
3 days ago
richsherwood
2 points
822.
▲
Show HN: Tamper-evident audit logs for LangChain/Crew AI agents
github.com/Providex-AI
discuss
6 days ago
oabolade
2 points
823.
▲
Show HN: Satd – a Bitcoin full node in Rust
github.com/epochbtc
discuss
8 days ago
epochbtc
2 points
824.
▲
Show HN: Darc – grep-like memory search tool for coding agents
github.com/0xjunha
discuss
a month ago
jnhprk
2 points
825.
▲
Show HN: Kubesplaining CLI that maps RBAC privilege-escalation paths in K8s
github.com/0hardik1
discuss
2 months ago
0hardik1
2 points
826.
▲
Show HN: Monogate – EML operator family, hybrid framework, 108-node sin(x)
monogate.dev
discuss
2 months ago
zonked45
2 points
827.
▲
Show HN: Shared team context for AI coding sessions with ambient intelligence
github.com/norrietaylor
discuss
3 months ago
torrienaylor
2 points
828.
▲
Show HN: mva-melding-java – Java library for Norwegian VAT filing via Altinn 3
discuss
3 months ago
guanghu
2 points
829.
▲
Show HN: Tiny filesystem honeypot for macOS with zero dependencies in Go
github.com/dweinstein
discuss
3 months ago
dweinstein
2 points
830.
▲
Show HN: Spectator – A programming language for Cybersecurity and Hacking
discuss
3 months ago
CzaxTanmay
2 points
831.
▲
Show HN: MonkePay – Charge AI Agents per API Request in USDC
monkepay.xyz
discuss
3 months ago
iamalibaig
2 points
832.
▲
Show HN: Mimir – open-source code intelligence for AI agents (Go, MCP, SQLite)
discuss
3 months ago
thuongne
2 points
833.
▲
Show HN: Aegis – Open-source pre-execution firewall for AI agents
github.com/Justin0504
discuss
4 months ago
AEGIS_JB
2 points
834.
▲
Show HN: ImmutableBase – Strict immutable data objects for PHP
github.com/ReallifeKip
discuss
4 months ago
bill402099
2 points
835.
▲
Show HN: Cruxible Core – Deterministic decision engine with receipts for agents
github.com/cruxible-ai
discuss
4 months ago
rmalone1097
2 points
836.
▲
Show HN: Nemilia – multi-agent AI workspace in a single HTML file, no back end
github.com/luislopez1212
discuss
4 months ago
Nemilia
2 points
837.
▲
Show HN: Simvyn – Universal mobile devtool, no SDK required
github.com/pranshuchittora
discuss
4 months ago
pranshuchittora
2 points
838.
▲
Show HN: Nemilia – multi-agent AI workspace in a single HTML file, no back end
github.com/luislopez1212
discuss
4 months ago
Nemilia
2 points
839.
▲
Show HN: SmartAgentKit – policy-governed smart wallets for AI agents
discuss
4 months ago
martinbf
2 points
840.
▲
AAP – An open standard for verifiable AI agent actions (RFC draft)
discuss
4 months ago
thinklanceai
2 points
More