Search: github.com/verifid | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

721.

Show HN: Superclass – GPT-Powered Document Classification Service

github.com/adaptive-scale

a year ago

2 points

722.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 months ago

2 points

723.

We scanned 73 open-source MCP servers. Here's what source code analysis found

3 months ago

2 points

724.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

725.

Show HN: AgentSign – Open-source zero trust engine for AI agents

github.com/razashariff

3 months ago

2 points

726.

Show HN: OxiLean – Pure Rust Interactive Theorem Prover (Zero C Deps, WASM)

4 months ago

2 points

727.

Show HN: Trust-gated developer communities with portable identity (AT Protocol)

github.com/JohannaWeb

4 months ago

2 points

728.

Show HN: Codified decades of domain expertise into open source agent skills

github.com/ai-evos

4 months ago

2 points

729.

Show HN: I built the WordPress GPG signing workflow that didn't exist

4 months ago

2 points

730.

Show HN: A 4-tier self-healing system for local AI agents (was silently broken)

4 months ago

2 points

731.

Show HN: Rigour – Open-source quality gates for AI coding agents

4 months ago

2 points

732.

Show HN: Endpoint State Policy – Policy as Data

github.com/scanset

6 months ago

2 points

733.

InfoSeek: The First Open-Source Framework for Deep Research Data Synthesis

9 months ago

2 points

734.

Show HN: VeritasGraph – On-prem Graph RAG (3.3k+ visitors, 130 stars in 5 days)

github.com/bibinprathap

9 months ago

2 points

735.

Show HN: USDA-linked nutrition API from messy inputs (CLI/Python/REST)

nutrition.avocavo.app

10 months ago

2 points

736.

Show HN: DreamHost Protocol Generator – declarative fiction via REM metadata

github.com/socfspiritual

a year ago

2 points

737.

Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text

github.com/encypherai

a year ago

2 points

738.

Show HN: Suno.com Songs On Any Discord Server

github.com/stefanionescu

a year ago

2 points

739.

Captcha alternative?

14 years ago

2 points

740.

Show HN: Python class typing that raises TypeError at runtime

github.com/6r17

3 years ago

2 points

741.

Ask HN: What Back End Framework with User Management Is Your Favorite?

5 years ago

2 points

742.

Show HN: Agents report broken docs, you get a GitHub issue

12 hours ago

2 points

743.

Show HN: Satd – a Bitcoin full node in Rust

github.com/epochbtc

9 days ago

2 points

744.

Show HN: TKeeper – policy-governed, signed intents for autonomous systems

github.com/tkeeper-org

15 days ago

2 points

745.

Show HN: OpenRDMA-An Open Source FPGA-Based 400G RDMA-Like SmartNIC

github.com/open-rdma

a month ago

2 points

746.

Show HN: SafeInstall – local install-time guardrails for NPM/pnpm/bun

safeinstall.dev

2 months ago

MichaelLabitzke

2 points

747.

Show HN: SandClaw = A sandboxed alternative to OpenClaw for trading

3 months ago

2 points

748.

Show HN: Ganoid – Switch Tailscale coordination servers without re-auth

github.com/yashau

3 months ago

2 points

749.

Show HN: Giving HTML, Canvas Superpowers

github.com/yeargun

3 months ago

2 points

750.

Show HN: Notme.bot – an OSS specification to remove bearer tokens in an AI world

3 months ago

2 points