Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

691.

Show HN: Secure Session Cookie Scheme Using Existing Tech

3 points

2 years ago

692.

Ask HN: Learning formal methods for software design

3 points

7 years ago

693.

Elrond Network – Open Sourcing Elrond Node and Wallet

3 points

iamjustvisiting

8 years ago

694.

Show HN: GnuRAMage – A Bash tool to sync files between HDDs and RAM disks (github.com/FPGArtktic)

2 points

a year ago

695.

Show HN: TWFF – A container format for declaring AI use in writing (github.com/Functional-Intelligence-Research-Lab)

2 points

4 months ago

696.

Show HN: Open Line Protocol – a minimal wire for AI agents (MIT) (github.com/terryncew)

2 points

9 months ago

697.

Show HN: KisanAI – WhatsApp Agricultural Assistant (github.com/mandarwagh9)

2 points

a year ago

698.

Show HN: Offline ESP32 that displays a new QR code every 30 seconds (github.com/sweing)

2 points

a year ago

699.

Show HN: Proof Loop – I make my coding agents prove they finished the task (github.com/LeoStehlik)

2 points

17 days ago

700.

Show HN: Legal Action Boundary Eval for agentic legal workflows (github.com/bigkan8)

2 points

2 months ago

701.

Show HN: MCP server that generates macOS tools via Open Scripting Architecture (github.com/MayCXC)

2 points

2 months ago

702.

Show HN: A community catalog of CI certified agents (github.com/justindobbs)

2 points

3 months ago

703.

Show HN: OmoiOS–190K lines of Python to stop babysitting AI agents (Apache 2.0) (github.com/kivo360)

2 points

3 months ago

704.

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

2 points

3 months ago

705.

Meishi Challenges Apple/Google: Open-Source P2P E2EE Contacts

2 points

3 months ago

706.

Show HN: Claw Cash – Money agents can trust, and verify. Stablecoins in. BTC out (clw.cash)

2 points

3 months ago

707.

Show HN: Sinkai – Let AI agents hire humans for real-world tasks (sinkai.tokyo)

2 points

4 months ago

708.

Show HN: Verify-before-release x402 gateway for AI agent transactions

2 points

4 months ago

709.

Show HN: Proxmox-GitOps: IaC Container Automation for Proxmox (Recursive Docker) (github.com/stevius10)

2 points

9 months ago

710.

Show HN: Superclass – GPT-Powered Document Classification Service (github.com/adaptive-scale)

2 points

a year ago

711.

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

2 points

a month ago

712.

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

2 points

2 months ago

713.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

714.

Show HN: AgentSign – Open-source zero trust engine for AI agents (github.com/razashariff)

2 points

3 months ago

715.

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

2 points

3 months ago

716.

Show HN: Trust-gated developer communities with portable identity (AT Protocol) (github.com/JohannaWeb)

2 points

3 months ago

717.

Show HN: Codified decades of domain expertise into open source agent skills (github.com/ai-evos)

2 points

3 months ago

718.

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

2 points

3 months ago

719.

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

2 points

4 months ago

720.

Show HN: Rigour – Open-source quality gates for AI coding agents (rigour.run)

2 points

4 months ago