Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
571.
▲
Show HN: LLM Gateway – Simple API format converter for LLM providers
(github.com/skorotkiewicz)
2 points
modinfo
2 months ago
discuss
572.
▲
AutoRocq: Agentic Theorem Prover for Verification
(github.com/NUS-Program-Verification)
2 points
matt_d
2 months ago
discuss
573.
▲
Dokis – Runtime RAG provenance enforcement without an LLM call
(github.com/Vbj1808)
2 points
Vbj1808
2 months ago
discuss
574.
▲
Agentis – multi-agent AI platform across 12 LLM providers, watch them in 3D
(github.com/Dhwanil25)
2 points
Dhwanil25
2 months ago
discuss
575.
▲
Auto Translate JSON Library – JSON and Google to Multi-Format and 8 Providers
(github.com/topce)
2 points
topce
3 months ago
discuss
576.
▲
MACA: Simple tool for providing information on reverse engineering
(github.com/0x00pf)
2 points
teleforce
3 months ago
discuss
577.
▲
Show HN: A user daemon to provide an age-bracketing API
(github.com/danudey)
2 points
danudey
3 months ago
discuss
578.
▲
Show HN: GovernsAI – unified auth, memory, and PII guard across AI providers
(governsai.com)
2 points
shaivpidadi
3 months ago
discuss
579.
▲
Show HN: Ryvos – Autonomous AI assistant in Rust(15MB RAM,50 tools,16 providers)
(ryvos.dev)
2 points
aayush-mishraaa
3 months ago
discuss
580.
▲
Show HN: Provision Stateless GPU Compute with Claude Code's Remote Control
(github.com/theoddden)
2 points
Facingsouth
3 months ago
discuss
581.
▲
Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM
(mnemom.ai)
2 points
alexgarden
3 months ago
discuss
582.
▲
Show HN: Run any LLM inside Claude Code. A local auditable proxy for 7 providers
(github.com/sarukas)
2 points
sarunasch
3 months ago
discuss
583.
▲
Show HN: Dress – A parameter-free O(E) graph equation that provably exceeds 1-WL
(github.com/velicast)
2 points
velicast
3 months ago
discuss
584.
▲
Show HN: CGK – Provably Preventing Overcommit in Distributed Capacity Markets
(distributed-markets-overcommit.github.io)
2 points
XheCarpenXer
4 months ago
discuss
585.
▲
Show HN: Fuelcheck CLI – Monitor token usage across the modern AI providers
(github.com/chasebuild)
2 points
chungquantin
4 months ago
discuss
586.
▲
NetFix Pro – Local network diagnostics to prove
(github.com/TealGrapes93)
2 points
TealGrapes93
4 months ago
discuss
587.
▲
AI SDK – Amazon Bedrock Provider
(github.com/vercel)
2 points
throwaway645382
4 months ago
discuss
588.
▲
Show HN: React-meta-SEO – Rebuilding SEO for React 19 (3KB, no providers)
(npmjs.com)
2 points
Hacakthon
4 months ago
discuss
589.
▲
Show HN: Prove your compliance posture with automated evidence (OSCAL)
(github.com/clay-good)
2 points
hireclay
6 months ago
discuss
590.
▲
Show HN: Airena – Client-side arena for comparing AI models across 68 providers
(github.com/andronov04)
2 points
andronov04
6 months ago
discuss
591.
▲
mmwrap: provide multimedia-key actions for minimal Linux desktops
(github.com/pvonmoradi)
2 points
pooyamo
6 months ago
discuss
592.
▲
OpenBench: Provider-agnostic, open-source evaluation infrastructure for LLMs
(github.com/groq)
2 points
gmays
10 months ago
discuss
593.
▲
Pocket ID: A Simple but Powerful OIDC Provider for SSO with Passkeys
(github.com/pocket-id)
2 points
coinfused
10 months ago
discuss
594.
▲
Nostr Auth Provider · clerk · Discussion #6435
(github.com/orgs)
2 points
kehiy
10 months ago
discuss
595.
▲
Neco is a C library that provides concurrency using coroutines
(github.com/tidwall)
2 points
mliezun
10 months ago
discuss
596.
▲
Show HN: Kessoku – Next-generation DI for Go with parallel provider execution
(github.com/mazrean)
2 points
mazrean
10 months ago
discuss
597.
▲
Show HN: OctoMailer – universal Node.js lib for multiple email service providers
(github.com/aaurelions)
2 points
aaurelions
a year ago
discuss
598.
▲
Show HN: Discord-oidc-proxy: Convert Discord to an OIDC provider
(github.com/taiseiue)
2 points
taiseiue
a year ago
discuss
599.
▲
Cline: Adding Gemini CLI Provider with OAuth Support
(github.com/cline)
2 points
sysoleg
a year ago
discuss
600.
▲
RooCode: Add Gemini CLI provider for free access to Gemini models
(github.com/RooCodeInc)
2 points
sysoleg
a year ago
discuss
More