Search: github.com/veryfi | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

Show HN: Skyler – AI email organizer, shut down due to OAuth compliance

skylerinbox.com

6 months ago

3 points

692.

Show HN: Obsidenc – a Rust-based paranoid-grade encryption utility

github.com/markrai

6 months ago

3 points

693.

Show HN: Validated Table Extractor–Verify PDF Tables Using Docling+Vision LLMs

github.com/2dogsandanerd

7 months ago

3 points

694.

Show HN: PythonStark – Educational Python ZK-Stark Implementation

github.com/SherifSystems

7 months ago

3 points

695.

Show HN: Confidential AI browser extension – alternative to OpenAI Atlas

github.com/edgelesssys

8 months ago

3 points

696.

Show HN: VebGen – Autonomous AI agent with zero-token AST intelligence

github.com/vebgenofficial

8 months ago

3 points

697.

Show HN: I built an AI Colosseum to battle-test different agent architectures

project-chimera.streamlit.app

9 months ago

3 points

698.

Show HN: WasmX: metamorphic WASM blockchain engine [first public release]

github.com/ark-us

10 months ago

loredanacirstea

3 points

699.

Show HN: Agentic Sync – AI-Native Task Management Platform

github.com/Next-AI-Labs-Inc

10 months ago

3 points

700.

Show HN: Gogg – A GOG game downloader written in Go

a year ago

3 points

701.

Show HN: Tansive – AI Agents that won't accidentally restart your prod database

github.com/tansive

a year ago

3 points

702.

Show HN: Claude Auto-Commit – AI-powered Git commit message generation

github.com/0xkaz

a year ago

3 points

703.

Show HN: Wicketkeeper - A self-hosted, privacy-friendly proof-of-work captcha

github.com/a-ve

a year ago

3 points

704.

Show HN: I made an open source Kubernetes MCP Server to talk with K8s in English

github.com/rohitg00

a year ago

3 points

705.

Show HN: Manas – Multi-Agent Framework for Complex LLM Applications

github.com/arkokoley

a year ago

3 points

706.

Show HN: Open-source Go tools for Firestore document management and restoration

github.com/korl-co

a year ago

3 points

707.

Show HN: Secure Session Cookie Scheme Using Existing Tech

2 years ago

3 points

708.

Ask HN: Learning formal methods for software design

7 years ago

3 points

709.

Elrond Network – Open Sourcing Elrond Node and Wallet

8 years ago

iamjustvisiting

3 points

710.

Show HN: GnuRAMage – A Bash tool to sync files between HDDs and RAM disks

github.com/FPGArtktic

a year ago

2 points

711.

Show HN: TWFF – A container format for declaring AI use in writing

github.com/Functional-Intelligence-Research-Lab

4 months ago

2 points

712.

Show HN: Open Line Protocol – a minimal wire for AI agents (MIT)

github.com/terryncew

9 months ago

2 points

713.

Show HN: KisanAI – WhatsApp Agricultural Assistant

github.com/mandarwagh9

a year ago

2 points

714.

Show HN: Offline ESP32 that displays a new QR code every 30 seconds

github.com/sweing

a year ago

2 points

715.

Show HN: Proof Loop – I make my coding agents prove they finished the task

github.com/LeoStehlik

a month ago

2 points

716.

Show HN: Legal Action Boundary Eval for agentic legal workflows

github.com/bigkan8

2 months ago

2 points

717.

Show HN: MCP server that generates macOS tools via Open Scripting Architecture

github.com/MayCXC

3 months ago

2 points

718.

Show HN: A community catalog of CI certified agents

github.com/justindobbs

4 months ago

2 points

719.

Show HN: OmoiOS–190K lines of Python to stop babysitting AI agents (Apache 2.0)

github.com/kivo360

4 months ago

2 points

720.

Show HN: AutoManus MCP Server – create a sales rep agent from Claude in 1 min [video]

4 months ago

2 points