HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
931.
▲
Show HN: Crypthold – Deterministic, Tamper-Evident Secure State Engine
github.com/laphilosophia
discuss
4 months ago
laphilosophia
1 points
932.
▲
Show HN: C2PA is broken. I fixed it with an adaptive registry and open protocol
github.com/HumanLemming996
discuss
4 months ago
BhuvanChalla
1 points
933.
▲
Show HN: SatGate – Budget enforcement proxy for MCP tool calls (L402/macaroons)
discuss
4 months ago
satgate
1 points
934.
▲
Show HN: Roe.md generate your own OpenClaw-like bot from a single Markdown file
github.com/guld
discuss
4 months ago
guld
1 points
935.
▲
Show HN: Tako AI – Agent for Okta With Natural language (zero hallucination)
github.com/fctr-id
discuss
4 months ago
danFctr
1 points
936.
▲
Show HN: Onlybots.cam
onlybots.cam
discuss
4 months ago
m0rtyn
1 points
937.
▲
Show HN: SPICEBridge – MCP server for AI circuit design via ngspice
github.com/clanker-lover
discuss
4 months ago
clanker-lover
1 points
938.
▲
MiRAGE: Open-source framework for multimodal RAG evaluation
discuss
4 months ago
mmhetric
1 points
939.
▲
Show HN: Kore – Stack based language where compiler is the reward function
github.com/konf-dev
discuss
5 months ago
processorx
1 points
940.
▲
Show HN: Insurance AI Benchmark – 510 scenarios from production
huggingface.co
discuss
5 months ago
pavelsukhachev
1 points
941.
▲
Show HN: EU AI Act Layer – Free Compliance Checker
x-loop3.com
discuss
5 months ago
X-Loop3
1 points
942.
▲
Show HN: Browser Terminal Use – A Local-to-Cloud Execution Bridge for LLM Agents
github.com/chaokunyang
discuss
5 months ago
chaokunyang
1 points
943.
▲
Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval
dev.thelastrag.de
discuss
5 months ago
LutumVeritas
1 points
944.
▲
Show HN: Deterministic NDJSON audit logs – v1.2 update (structural gaps)
github.com/yupme-bot
discuss
5 months ago
Slaine
1 points
945.
▲
Show HN: Sigma Runtime – Maintaining 100% Fact Integrity over 120 LLM Cycles
github.com/sigmastratum
discuss
5 months ago
teugent
1 points
946.
▲
Show HN: Factcheck – An open-source YouTube fact-checker. I need your help
github.com/humanchaos
discuss
5 months ago
humanchaos
1 points
947.
▲
Show HN: 32KB deductive engine that catches LLM hallucinations
discuss
5 months ago
zhangxiaowen
1 points
948.
▲
A Zero-Layer Approach to Memory Safety (1:1 IR, No Sandbox)
discuss
5 months ago
pratyagatma
1 points
949.
▲
Show HN: Nod – A protocol for agent-to-agent security handshakes
github.com/mraml
discuss
5 months ago
mraml
1 points
950.
▲
Show HN: Agent OS – Safety-first platform for building AI agents with VS Code
github.com/imran-siddique
discuss
5 months ago
mosiddi
1 points
951.
▲
Show HN: Intent-Driven Development with NTNT
github.com/ntntlang
discuss
5 months ago
joshcramer
1 points
952.
▲
Show HN: Meru OS – The First Sovereign AI Stack (<2MB, CPU-Native)
discuss
5 months ago
akulasairohit
1 points
953.
▲
Show HN: 500-cycle runtime test for long-horizon LLM coherence
zenodo.org
discuss
5 months ago
teugent
1 points
954.
▲
Show HN: TalkCAD – AI agent to generate CAD models using OpenSCAD code
github.com/outerreaches
discuss
5 months ago
alex_maz
1 points
955.
▲
Show HN: Freebird – Authorization without identity using VOPRF cryptography
freebird.bot
discuss
5 months ago
flammafex
1 points
956.
▲
Show HN: Pygments Swift – Swift-native syntax highlighting library
github.com/muonium-ai
discuss
5 months ago
senthilnayagam
1 points
957.
▲
Show HN: Config-driven extensions to ghuntley's ralph loop technique
github.com/cvemprala
discuss
5 months ago
codenlearn
1 points
958.
▲
Show HN: VPNBypass – macOS menu bar app to route domains around your VPN
discuss
5 months ago
geiser
1 points
959.
▲
Show HN: RLM-Toolkit – Secure LangChain
discuss
5 months ago
Chgdz
1 points
960.
▲
Show HN: Claude CodePro – Professional Development Environment for Claude Code
github.com/maxritter
discuss
5 months ago
rittermax
1 points
More