Search: github.com/Safe3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

The Byzantine MCP Router – AI Safety and Security via Semantic Consensus

github.com/wdulz

3 months ago

1 points

902.

Show HN: Using a mobile LLM app to safely operate a desktop computer

github.com/ruikhu007

4 months ago

1 points

903.

Show HN: OpenClaw skills degrade agent safety

github.com/faberlens

4 months ago

1 points

904.

Show HN: I got tired of leaking API keys, so I made .env files safe to commit

github.com/MrPrinceRawat

4 months ago

1 points

905.

KidSearch – a safe, educational search engine I built for my son

github.com/laurentftech

9 months ago

1 points

906.

Consistent Tachyon and Λ and Background‑Safe μ(a) Pipeline

gist.github.com

10 months ago

1 points

907.

The Carbon Language Project has published the first update on Memory Safety

github.com/carbon-language

10 months ago

1 points

908.

Faultline: A crash-safe job queue with 0% duplicate commits under failure

github.com/kritibehl

2 months ago

1 points

909.

Hodor: a simple knowledge base for security and trust and safety

github.com/bq33

2 months ago

1 points

910.

Hypequery – Type-safe ClickHouse queries that work across your back end

github.com/hypequery

2 months ago

1 points

911.

Show HN: Hazmat – I made unrestricted Claude Code safe on macOS

github.com/dredozubov

3 months ago

1 points

912.

Show HN: A drop-in replacement and memory-safe TLS back end for Python

github.com/jawah

3 months ago

1 points

913.

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

3 months ago

1 points

914.

Shown HN: Mittens for Claw – Go sandbox to safely run local AI agents

github.com/oug-t

3 months ago

1 points

915.

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

4 months ago

1 points

916.

Sdf-plan – deterministic safety gates for any AI agent

github.com/directiveproto

4 months ago

1 points

917.

Show HN: Crash-safe job queue – lease-expiry race and fencing fix

github.com/kritibehl

4 months ago

1 points

918.

Show HN: CSL MCP Server – Write and Verify AI Safety Policies from Claude/Cursor

4 months ago

1 points

919.

Show HN: Askill – A package manager for AI agent skills with AI safety scoring

github.com/avibe-bot

4 months ago

1 points

920.

Show HN: A Ring-0 deployment safety checklist(derived from CrowdStrike analysis)

github.com/systemdesignautopsy

5 months ago

1 points

921.

Bell Boy BB2: backup-first Windows ODE for safe file ops (PowerShell 5.1)

github.com/TrishulaSoftware

5 months ago

trishulasoftwre

1 points

922.

Show HN: Theus – I built a framework to make AI-generated code safe to run

github.com/dohuyhoang93

5 months ago

1 points

923.

Show HN: FailCore – Execution-Time Safety Runtime for AI Agents

github.com/Zi-Ling

6 months ago

1 points

924.

Tygor: Type-safe back end for Go and TypeScript apps

github.com/ahimsalabs

6 months ago

1 points

925.

Show HN: Auto-generated type-safe CRUD for SQLAlchemy

github.com/4jades

6 months ago

1 points

926.

Quantum Safe E2EE File-Transfer

github.com/collapsinghierarchy

7 months ago

1 points

927.

Skelet – Minimalist, Thread-Safe Config Library for Python

github.com/pomponchik

7 months ago

1 points

928.

RapiTapir: Type-Safe HTTP APIs for Ruby

github.com/riccardomerolla

a year ago

1 points

929.

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

a year ago

symbol_reasoner

1 points

930.

Safeguard Your Kubernetes Production Cluster with Kubectl-Guard

github.com/mohamedch7

2 years ago

1 points