Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

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

github.com/dredozubov

3 months ago

1 points

842.

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

4 months ago

1 points

843.

Show HN: Rainy Updates – local-first dependency and supply-chain review for CI

github.com/ferxalbs

4 months ago

1 points

844.

Show HN: Titan Gate – cryptographic receipts for AI-assisted code changes

github.com/Rehanrana11

4 months ago

1 points

845.

Show HN: I built a graph store so my LLM can't hallucinate facts from my data

github.com/TyKolt

4 months ago

1 points

846.

Show HN: Salacia – The First Runtime OS for Agentic Coding

4 months ago

1 points

847.

Show HN: H-CLI – Manage network infrastructure with natural language

github.com/h-network

4 months ago

1 points

848.

Show HN: NotaryOS – Cryptographic proof of what your AI agent didn't do

4 months ago

1 points

849.

Show HN: Agents-lint – detect stale paths and context rot in AGENTS.md files

github.com/giacomo

4 months ago

1 points

850.

Show HN: Searchable compression for JSON/NDJSON (skip ~99% pages; sub-ms lookups

github.com/kodomonocch1

4 months ago

1 points

851.

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

4 months ago

1 points

852.

Show HN: How do you reliably benchmark sub-100ns code paths in Rust

github.com/abokhalill

4 months ago

1 points

853.

Show HN: AI-optimized x86-64 assembly vs. GCC -O3 on three production kernels

github.com/cleonard2341

4 months ago

1 points

854.

Show HN: Verify and trace OpenClaw tool calls (runnable demo)

github.com/peacprotocol

4 months ago

1 points

855.

Show HN: Humanitarian licensing and constitutional governance for AI agents

github.com/genesalvatore

5 months ago

1 points

856.

Show HN: HoneypotScan – Detect crypto scam tokens

github.com/Teycir

5 months ago

1 points

857.

Show HN: Turkish Sieve Engine – Reaching 1.1T-Items/S on a Single GPU

github.com/bilgisofttr

5 months ago

1 points

858.

Show HN: Argus-seal – Forensic-ready log integrity using Merkle Trees

github.com/gamer-null

5 months ago

1 points

859.

Show HN: How we solved the InfoSec adoption blocker for cloud tools

5 months ago

1 points

860.

Show HN: Gödel Task Router – Autonomous Quantum Task Orchestration on AWS Braket

epochcoreqcs.com

5 months ago

1 points

861.

Show HN: Coldr – Run small cold email campaigns from your terminal

github.com/jmoyson

8 months ago

1 points

862.

Show HN: Inspect Element for LLM Apps

github.com/zombico

8 months ago

1 points

863.

Show HN: AIs built a working Deleuzian engine. I'll drip-feed the findings

9 months ago

1 points

864.

Show HN: AgentOS-An Early OS for Coding Agents Memory and Execution and Learning

a year ago

1 points

865.

Show HN: Pw-punch – sub-2KB JWT/password crypto – Edge-native, 0 deps

github.com/idtpanic

a year ago

1 points

866.

Show HN: Hyperlocal DNSSEC Validating Unbound Docker Image

github.com/madnuttah

4 years ago

1 points

867.

Fluent interface facade for Michael Foord's mock.

github.com/aelgru

12 years ago

1 points

868.

Show HN: Microcosm – a substrate AI coding agents read to orient before acting

wcook04.github.io

5 days ago

1 points

869.

SMS OTP sessions for AI agents and CI tests

10 days ago

1 points

870.

Show HN: Emergenv: Compose+compute env files from SSH-encrypted fragments in Git

github.com/anoyomoose

14 days ago

1 points