Search: github.com/safx | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: A drop-in replacement and memory-safe TLS back end for Python (github.com/jawah)

1 point

2 months ago

902.

Ask HN: "Claws" and Human-in-the-Loop Safety

1 point

2 months ago

903.

Shown HN: Mittens for Claw – Go sandbox to safely run local AI agents (github.com/oug-t)

1 point

3 months ago

904.

JadeGate – A deterministic safety proxy for MCP servers (no LLMs)

1 point

3 months ago

905.

Sdf-plan – deterministic safety gates for any AI agent (github.com/directiveproto)

1 point

3 months ago

906.

Show HN: Crash-safe job queue – lease-expiry race and fencing fix (github.com/kritibehl)

1 point

3 months ago

907.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor (pypi.org)

1 point

4 months ago

908.

Show HN: Askill – A package manager for AI agent skills with AI safety scoring (github.com/avibe-bot)

1 point

4 months ago

909.

Show HN: A Ring-0 deployment safety checklist(derived from CrowdStrike analysis) (github.com/systemdesignautopsy)

1 point

5 months ago

910.

Bell Boy BB2: backup-first Windows ODE for safe file ops (PowerShell 5.1) (github.com/TrishulaSoftware)

1 point

trishulasoftwre

5 months ago

911.

Show HN: Theus – I built a framework to make AI-generated code safe to run (github.com/dohuyhoang93)

1 point

5 months ago

912.

Show HN: FailCore – Execution-Time Safety Runtime for AI Agents (github.com/Zi-Ling)

1 point

5 months ago

913.

Tygor: Type-safe back end for Go and TypeScript apps (github.com/ahimsalabs)

1 point

5 months ago

914.

Show HN: Auto-generated type-safe CRUD for SQLAlchemy (github.com/4jades)

1 point

6 months ago

915.

Quantum Safe E2EE File-Transfer (github.com/collapsinghierarchy)

1 point

6 months ago

916.

Skelet – Minimalist, Thread-Safe Config Library for Python (github.com/pomponchik)

1 point

7 months ago

917.

RapiTapir: Type-Safe HTTP APIs for Ruby (github.com/riccardomerolla)

1 point

10 months ago

918.

Show HN: Logic Simulation GUI – No AI, Safe Public Version

1 point

symbol_reasoner

a year ago

919.

Safeguard Your Kubernetes Production Cluster with Kubectl-Guard (github.com/mohamedch7)

1 point

2 years ago

920.

Elrouby Decrypted Desktop: The Best safe place for your files (github.com/ElroubyMagnos)

1 point

2 years ago

921.

Yaki-inc/crypto – Type safe Tweetnacl and cryptographic permissions (github.com/yaki-inc)

1 point

2 years ago

922.

Real Time Safety Heap Allocator (Rtsha) (github.com/borisRadonic)

1 point

3 years ago

923.

Real Time Safety Heap Allocator (Rtsha) (github.com/borisRadonic)

1 point

3 years ago

924.

Git-paradox - Copy history forward safely and easily (github.com/bkase)

1 point

14 years ago

925.

Show HN: Make LLMs write API calls that are type-safe and context-safe (github.com/tryintervene)

1 point

3 years ago

926.

Python Dataclass for Safely Checking Structures That Reference Themselves (gist.github.com)

1 point

3 years ago

927.

Show HN: Libenvpp - A modern C++ library for type-safe env variable parsing (github.com/ph3at)

1 point

3 years ago

928.

Show HN: Type-safe RESTful framework for fullstack with zero dependency (github.com/withtyped)

1 point

4 years ago

929.

Memory safe, fast, configurable, minimal hello world written in rust (github.com/mTvare6)

1 point

5 years ago

930.

Not-Me – Easy and Type Safe Validation for TypeScript (github.com/Opplane)

1 point

5 years ago