Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Show HN: Constitutional AI Agent OS (governance enforced at kernel level)

github.com/kimeisele

7 months ago

3 points

662.

Show HN: Big-AGI 2 – Spent a year obsessing over AI for thinking

github.com/enricoros

8 months ago

3 points

663.

Show HN: I tried coding theology – accidentally built AI accountability

github.com/ubunturbo

10 months ago

3 points

664.

Show HN: Qwen3-Coder API – 480B open-source code LLM

a year ago

3 points

665.

Did early Unix shells ever use `chd` command to change directories?

a year ago

3 points

666.

Show HN: Clace – Nginx Unit alternative – app server for internal apps

github.com/claceio

2 years ago

3 points

667.

Show HN: SunCalc v2 – a tiny JavaScript library for sun and moon calculations

github.com/mourner

7 days ago

3 points

668.

Show HN: Jin – a machine-readable protocol making internet legible for AI

21 days ago

3 points

669.

Show HN: Sigma Guard – deterministic contradiction checks for graph memory

2 months ago

3 points

670.

Show HN: I built a search engine for llms.txt sites

2 months ago

3 points

671.

Show HN: Coelanox – auditable inference runtime in Rust (BERT runs today)

2 months ago

3 points

672.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

2 months ago

3 points

673.

Show HN: I built an open protocol for Agent-to-agent commercial negotiation

3 months ago

3 points

674.

Show HN: An open source CI/CD action to audit and fix AI generated UI code

3 months ago

3 points

675.

Show HN: Yoink functionality from dependencies and avoid supply chain attacks

github.com/theogbrand

3 months ago

3 points

676.

Show HN: Unbubble Shield – An Antivirus for Misinformation

3 months ago

alessandrodiano

3 points

677.

Show HN: Eforge – An Agentic Build System

github.com/eforge-build

3 months ago

3 points

678.

Show HN: Intake API – An inbox for AI coding agents

3 months ago

3 points

679.

Show HN: BoltzPay – fetch() that pays for AI agents (x402 and L402)

github.com/leventilo

3 months ago

3 points

680.

Show HN: Demarkus – De-centralized Markup for Us:memory for AI agents and humans

github.com/latebit-io

4 months ago

3 points

681.

Show HN: Patterns for coordinating AI agents on real software projects

github.com/timothyjrainwater-lab

4 months ago

3 points

682.

Show HN: VeriContext – Preventing Stale Documentation for LLM Agents

github.com/amsminn

4 months ago

3 points

683.

I built an AI browser with prompt-injection defense at 16 on an i5 with 8GB RAM

4 months ago

3 points

684.

Show HN: Global Issue Memory MCP – Stack Overflow for Your Coding Assistant

4 months ago

3 points

685.

Show HN: SNKV and LiteFS – Distributed KV store with automatic replication

github.com/hash-anu

4 months ago

3 points

686.

Show HN: Hookaido – "Caddy for Webhooks"

github.com/nuetzliches

4 months ago

3 points

687.

Show HN: Kybera – Agentic Smart Wallet with AI Osint and Reputation Tracking

4 months ago

3 points

688.

Show HN: NoteBAD++ a PowerShell tool to detect Notepad++ supply chain compromise

5 months ago

3 points

689.

Show HN: Prav-core – A no_std, zero-allocation QEC decoder in Rust

github.com/qubitsok

6 months ago

3 points

690.

Show HN: FIDO2 PRF with TPM and Fingerprint Auth for Confer on Linux

6 months ago

3 points