Search: github.com/pryv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

571.

Show HN: Freestyle – Wispr Flow Alternative that respects privacy

github.com/freestyle-voice

11 hours ago

2 points

572.

Signed OKF – Provenance for Google's Open Knowledge Format

github.com/dynamicfeed

a day ago

2 points

573.

Show HN: Avera – a deterministic check that proves no regression was introduced

github.com/tc7kxsszs5-cloud

5 days ago

2 points

574.

Show HN: Hermzner – Provisioning an Hardened Hermes Agent on Hetzner VPS

github.com/scicco

5 days ago

2 points

575.

Show HN: self-hosting platform with built-in OIDC provider and backups

8 days ago

christoph_baier

2 points

576.

SillyTavern provides a single unified interface for many LLM APIs

github.com/SillyTavern

10 days ago

2 points

577.

Oops you specified provider but forgot quant

github.com/qpwo

a month ago

2 points

578.

Arbiter – Unified AI runtime for Swift with intelligent provider routing

github.com/sabby3861

a month ago

2 points

579.

A lock proves the security of the room and not that the room is empty

github.com/thansz137

a month ago

2 points

580.

iOS-linuxkit: Optimized ish-ARM64 fork to provide a Linux userland to iOS apps

github.com/rcarmo

a month ago

2 points

581.

Hare - Wrapper around amqp that providing a chainable API

github.com/c2fo

14 years ago

2 points

582.

Show HN: LLM Gateway – Simple API format converter for LLM providers

github.com/skorotkiewicz

3 months ago

2 points

583.

AutoRocq: Agentic Theorem Prover for Verification

github.com/NUS-Program-Verification

3 months ago

2 points

584.

Dokis – Runtime RAG provenance enforcement without an LLM call

github.com/Vbj1808

3 months ago

2 points

585.

Agentis – multi-agent AI platform across 12 LLM providers, watch them in 3D

github.com/Dhwanil25

3 months ago

2 points

586.

Auto Translate JSON Library – JSON and Google to Multi-Format and 8 Providers

github.com/topce

3 months ago

2 points

587.

MACA: Simple tool for providing information on reverse engineering

github.com/0x00pf

3 months ago

2 points

588.

Show HN: A user daemon to provide an age-bracketing API

github.com/danudey

4 months ago

2 points

589.

Show HN: GovernsAI – unified auth, memory, and PII guard across AI providers

4 months ago

2 points

590.

Show HN: Ryvos – Autonomous AI assistant in Rust(15MB RAM,50 tools,16 providers)

4 months ago

aayush-mishraaa

2 points

591.

Show HN: Provision Stateless GPU Compute with Claude Code's Remote Control

github.com/theoddden

4 months ago

2 points

592.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM

4 months ago

2 points

593.

Show HN: Run any LLM inside Claude Code. A local auditable proxy for 7 providers

github.com/sarukas

4 months ago

2 points

594.

Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL

github.com/velicast

4 months ago

2 points

595.

Show HN: CGK – Provably Preventing Overcommit in Distributed Capacity Markets

distributed-markets-overcommit.github.io

4 months ago

2 points

596.

Show HN: Fuelcheck CLI – Monitor token usage across the modern AI providers

github.com/chasebuild

4 months ago

2 points

597.

NetFix Pro – Local network diagnostics to prove

github.com/TealGrapes93

4 months ago

2 points

598.

AI SDK – Amazon Bedrock Provider

github.com/vercel

4 months ago

throwaway645382

2 points

599.

Show HN: React-meta-SEO – Rebuilding SEO for React 19 (3KB, no providers)

5 months ago

2 points

600.

Show HN: Prove your compliance posture with automated evidence (OSCAL)

github.com/clay-good

6 months ago

2 points