HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
31.
▲
Show HN: Tamper-evident audit logs for LangChain/Crew AI agents
github.com/Providex-AI
discuss
4 days ago
oabolade
2 points
32.
▲
Proveyouragent: Cryptographic identity for AI agents (Ed25519 and DPoP)
github.com/lujainkhalil
discuss
21 days ago
lujainkhalil
2 points
33.
▲
Provedex: Tamper-evident audit logs for AI agents (Pipecat, LangChain)
github.com/provedex
discuss
a month ago
adi-suresh
2 points
34.
▲
Show HN: OBDium – free, open-source on-board diagnostics software.
github.com/provrb
discuss
a year ago
provrb
2 points
35.
▲
Provenance 2.2.0
github.com/Provenance-Emu
discuss
4 years ago
tosh
2 points
36.
▲
Provose: The easiest way to manage your AWS infrastructure
github.com/provose
discuss
4 years ago
gjvc
2 points
37.
▲
Quickly Search over Billions of Images
github.com/ProvenanceLabs
discuss
5 years ago
timdaub
2 points
38.
▲
Aya: a dependently-typed programming language
github.com/aya-prover
discuss
5 years ago
limoce
2 points
39.
▲
Provenance
github.com/Provenance-Emu
discuss
7 years ago
tosh
2 points
40.
▲
Show HN: Prove.js, jquery form validation
github.com/provejs
discuss
9 years ago
dhollenbeck
2 points
41.
▲
Show HN: IronCurtain: A secure* runtime for AI agent loops
github.com/provos
1 comment
4 months ago
nielsprovos
1 points
42.
▲
Provenance Marks: An open system for authenticating digital and physical goods
github.com/wolfmcnally
1 comment
3 years ago
wolfsir
1 points
43.
▲
Typography in Rust with HarfBuzz/FreeType and OpenGL
github.com/o2sh
1 comment
5 years ago
ossamahjaji
1 points
44.
▲
Show HN: Tamper evident audit logs for LangGraph/CrewAI agents
github.com/Providex-AI
discuss
5 days ago
oabolade
1 points
45.
▲
Show HN: UI for Apache Kafka v0.7 is out with ACLs, Dark theme and RBAC improvs
github.com/provectus
discuss
3 years ago
haarolean
1 points
46.
▲
Show HN: Provision and automate cloud hosts in Go
github.com/inlets
discuss
5 years ago
alexellisuk
1 points
47.
▲
Math step-by-step proof checker in Node JavaScript
github.com/solviofoundation
discuss
7 years ago
dteiml
1 points
48.
▲
Show HN: Racket Provide Generator
github.com/DexterLagan
discuss
8 years ago
dexterlagan
1 points
49.
▲
Provoj: simple python library to test API endpoints in a clean and beautiful way
github.com/arnaucode
discuss
8 years ago
petteralexander
1 points
50.
▲
Provent – Promises and Events, combined
github.com/mauriciosoares
discuss
11 years ago
mauriciosoares
1 points
51.
▲
Show HN: Open-source OAuth service for 40+ APIs
nango.dev
56 comments
3 years ago
rguldener
206 points
52.
▲
Show HN: Poozle – open-source Plaid for LLMs
github.com/poozlehq
39 comments
3 years ago
harshithmul
132 points
53.
▲
Show HN: Arrakis-How to Build an AI Sandbox from Scratch [video]
youtube.com
discuss
a year ago
abshkbh
2 points
54.
▲
Show HN: AI sandbox that runs on your homelab
github.com/deevus
discuss
4 months ago
deevus
1 points
55.
▲
Ask HN: Why is there no Terraform OpenAPI generator?
discuss
4 years ago
mooreds
1 points
56.
▲
Show HN: Cuckoo Filter implementation in Go (github.com/kuba--/cuckoo)
discuss
9 years ago
kuba--
1 points
57.
▲
Terraform Provider for Spotify
github.com/conradludgate
75 comments
4 years ago
marinesebastian
219 points
58.
▲
The Terraform Plugin for the Dominos Pizza Provider
github.com/ndmckinley
87 comments
7 years ago
mooreds
154 points
59.
▲
Show HN: Terraform Provider for Inexpensive Switches
github.com/brennoo
13 comments
a year ago
brennoo
90 points
60.
▲
J-Bob – The proof assistant from “The Little Prover”
github.com/the-little-prover
4 comments
11 years ago
ayberkt
59 points
More