Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
631.
▲
Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI
(github.com/Chimera-Protocol)
2 points
aytuakarlar
4 months ago
7 comments
632.
▲
Kysely (the type-safe SQL query builder for TypeScript) 0.28 is out
(github.com/kysely-org)
2 points
igalklebanov
a year ago
5 comments
633.
▲
Show HN: Explore zips and other archives from a safe distance before download
(github.com/dosyago)
2 points
keepamovin
3 years ago
5 comments
634.
▲
Show HN: Сulsans – Thread-safe async-aware queue for Python
(github.com/x42005e1f)
2 points
x42005e1f
6 months ago
4 comments
635.
▲
FastSafeStrings (safe, fast string library for C/C++)
(github.com/clemcl)
2 points
Clemcl
3 months ago
3 comments
636.
▲
Show HN: Typed-Prompts – Type-Safe Prompt Engineering
(github.com/f)
2 points
fka
5 months ago
3 comments
637.
▲
Show HN: SLFG: We Made Gets() Safe. Everyone Said It Was Impossible
2 points
DenisDolya
7 months ago
3 comments
638.
▲
Hedystia – Next-Gen TypeScript Framework for Type-Safe APIs at Lightspeed
(github.com/Hedystia)
2 points
Zastinian
3 months ago
2 comments
639.
▲
Show HN: Secure Agent Starter – A minimal template for building safer AI agents
(github.com/timbuctoo)
2 points
timbucto2
3 months ago
2 comments
640.
▲
Show HN: Vigil – Zero-dependency safety guardrails for AI agent tool calls
2 points
HexitLabs
3 months ago
2 comments
641.
▲
A sandbox-safe macOS gateway for AI agents
(github.com/ericblue)
2 points
ericblue
4 months ago
2 comments
642.
▲
Show HN: DataStore4J A thread-safe, high-performance key-value data store
(github.com/theuntamed839)
2 points
theuntamed000
9 months ago
2 comments
643.
▲
Show HN: Expose your local services to public users safely
(github.com/buhuipao)
2 points
buhuipao
a year ago
2 comments
644.
▲
Subumbra – Attempting to keep API keys safe – Alpha Release
(github.com/polysemic)
2 points
polysemic
23 days ago
1 comment
645.
▲
VSCode Dark Islands – Safe Version
(github.com/raaid3)
2 points
raaid3
a month ago
1 comment
646.
▲
Show HN: MCP server for persistent context and safety in Claude Code
(github.com/AxmeAI)
2 points
pinip833
2 months ago
1 comment
647.
▲
Kjell – Safely auto-approve AI agent shell commands through bash parsing
(github.com/agentbellnorm)
2 points
agentbellnorm
2 months ago
1 comment
648.
▲
Claude Code Mexico breach: training safety failed ground truth layer
(github.com/Mysticbirdie)
2 points
MysticBirdie
3 months ago
1 comment
649.
▲
Show HN: Go-GATE – Database-grade safety for AI agents
(github.com/billyxp74)
2 points
billyxp74
3 months ago
1 comment
650.
▲
Safely run Claude ––dangerously-skip-permissions on Kubernetes
(github.com/axon-core)
2 points
gjkim
4 months ago
1 comment
651.
▲
Show HN: Sbox – A zero-dependency sandbox to safely run untrusted code
(github.com/CVPaul)
2 points
xqli
4 months ago
1 comment
652.
▲
Blur any element on webpage for safer demos, screenshots, and screen sharing
(github.com/KD-MM2)
2 points
kaotd
4 months ago
1 comment
653.
▲
ProtoMQ: Type-safe, bandwidth-efficient MQTT for the rest of us
(github.com/electricalgorithm)
2 points
gyokhan
4 months ago
1 comment
654.
▲
Show HN: Safest, Fastest, Easiest, and Most Advanced Python HTTP Client
(github.com/jawah)
2 points
mesahm
5 months ago
1 comment
655.
▲
Show HN: Task Orchestrator – Production Safety for Claude Code Agents
(github.com/TC407-api)
2 points
Travis_Cole
5 months ago
1 comment
656.
▲
Show HN: Skip-O-Matic–Open-source hands-free YouTube ad skipper for safe driving
(github.com/gowthamtadala)
2 points
gwthm
5 months ago
1 comment
657.
▲
ByteDance local agent is something I might feel safe running
(github.com/bytedance)
2 points
mark_l_watson
5 months ago
1 comment
658.
▲
Show HN: Node.js type-safe dynamic config with real-time updates (MIT)
(github.com/replane-dev)
2 points
tilyupo
5 months ago
1 comment
659.
▲
Bmg.js – Type-Safe Relational Algebra for TypeScript/JavaScript
(github.com/enspirit)
2 points
blambeau
5 months ago
1 comment
660.
▲
LCP File System: Memory-Safe ZFS Alternative
(github.com/artst3in)
2 points
handfuloflight
5 months ago
1 comment
More