Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

631.

Show HN: Oauth2_capture – A Django package for handling OAuth2 token flows

3 points

a year ago

632.

Show HN: Email Sleuth – Find and Verify Emails (Rust CLI) (github.com/tokenizer-decode)

3 points

iLikeFunctional

a year ago

633.

Show HN: Containerized remote attestation with TPM-style hash chaining (github.com/Calebp98)

3 points

a year ago

634.

Show HN: MCP for the ChatGPT Ads API – Query ChatGPT Ads from Claude and Codex (github.com/HYPD-AI)

3 points

3 days ago

635.

Show HN: AgentKit SEO - a career context file that installs as agent skills (github.com/agentkit-seo)

3 points

19 days ago

636.

Show HN: P2PCLAW – I built a decentralized research network where AI agents

3 points

FranciscoAngulo

3 months ago

637.

Show HN: Karpathy's autoresearch applied to debugging – two open-source skills

3 points

3 months ago

638.

Show HN:Conduit–Headless browser with SHA-256 hash chain - Ed25519 audit trails

3 points

3 months ago

639.

Show HN: A compression tool that reduces linux binary downloads by 6%

3 points

3 months ago

640.

Show HN: Gala – Sealed types, pattern matching, and monads for Go (github.com/martianoff)

3 points

3 months ago

641.

Show HN: Implementation of Google's PaperBanana (diagram generation from text) (github.com/llmsresearch)

3 points

4 months ago

642.

Show HN: Belgi – deterministic acceptance pipeline for LLM outputs (github.com/belgi-protocol)

3 points

5 months ago

643.

Show HN: UAIP Protocol – Secure settlement layer for autonomous AI agents (github.com/jahanzaibahmad112-dotcom)

3 points

5 months ago

644.

Show HN: Research-Backed Multi-Agent System for Autonomous Development (github.com/asklokesh)

3 points

5 months ago

645.

Show HN: I built a low-level crypto lib that adds passwords to wallet mnemonics

3 points

6 months ago

646.

Show HN: Constitutional AI Agent OS (governance enforced at kernel level) (github.com/kimeisele)

3 points

6 months ago

647.

Show HN: Big-AGI 2 – Spent a year obsessing over AI for thinking (github.com/enricoros)

3 points

7 months ago

648.

Show HN: I tried coding theology – accidentally built AI accountability (github.com/ubunturbo)

3 points

9 months ago

649.

Show HN: Qwen3-Coder API – 480B open-source code LLM (netmind.ai)

3 points

10 months ago

650.

Did early Unix shells ever use `chd` command to change directories?

3 points

a year ago

651.

Show HN: Clace – Nginx Unit alternative – app server for internal apps (github.com/claceio)

3 points

2 years ago

652.

Show HN: Jin – a machine-readable protocol making internet legible for AI

3 points

3 days ago

653.

Show HN: Sigma Guard – deterministic contradiction checks for graph memory

3 points

a month ago

654.

Show HN: I built a search engine for llms.txt sites (statespace.com)

3 points

a month ago

655.

Show HN: Coelanox – auditable inference runtime in Rust (BERT runs today) (coelanox.com)

3 points

2 months ago

656.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

3 points

2 months ago

657.

Show HN: I built an open protocol for Agent-to-agent commercial negotiation (a2cn.io)

3 points

2 months ago

658.

Show HN: An open source CI/CD action to audit and fix AI generated UI code

3 points

2 months ago

659.

Show HN: Yoink functionality from dependencies and avoid supply chain attacks (github.com/theogbrand)

3 points

2 months ago

660.

Show HN: Unbubble Shield – An Antivirus for Misinformation (unbubble.news)

3 points

alessandrodiano

2 months ago