Search: github.com/gunar | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

661.

Show HN: News Site for Psychiatry, Neuroscience, Biohacking, DeSci Run by LLM

2 years ago

3 points

662.

Show HN: CSL-Core – Formally Verified Neuro-Symbolic Safety Engine for AI

github.com/Chimera-Protocol

4 months ago

2 points

663.

Show HN: A new programming language stronger than SQL, Java, and Python?

github.com/SPLWare

3 years ago

2 points

664.

New Open Source from Non-Traditional Builder

3 months ago

2 points

665.

Ask HN: Using GPT as a logic circuit instead of a text generator – Anyone tried?

a year ago

2 points

666.

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

github.com/terryncew

9 months ago

2 points

667.

Show HN: Hallx – Hallucination risk scoring for LLM outputs

github.com/dhanushk-offl

3 months ago

2 points

668.

Hawkeye – open-source flight recorder

3 months ago

2 points

669.

Show HN: DashClaw – intercept and audit AI agent decisions before they execute

github.com/ucsandman

3 months ago

2 points

670.

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

github.com/kivo360

4 months ago

2 points

671.

Show HN: SkillFortify, a formal verification for AI agent skills

github.com/varun369

4 months ago

2 points

672.

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

4 months ago

2 points

673.

Show HN: Assembly Language for Agents

github.com/HuyNguyenAu

4 months ago

2 points

674.

Show HN: I built a "sudo" mechanism for AI agents

github.com/cordum-io

5 months ago

2 points

675.

Show HN: Apache TacticalMesh – Open-source tactical mesh networking for defense

github.com/TamTunnel

6 months ago

2 points

676.

Show HN: I built an open source AI gateway that proxy calls to multiple LLMs

github.com/wx-yz

a year ago

2 points

677.

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

3 months ago

2 points

678.

Alive – Five Markdown files that give Claude Code a persistent memory

3 months ago

2 points

679.

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

github.com/typednotes

3 months ago

2 points

680.

Show HN: HELmR – A runtime control layer for autonomous agents

github.com/helmr-labs

4 months ago

2 points

681.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers)

github.com/varun369

4 months ago

2 points

682.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents

github.com/kidigapeet

4 months ago

2 points

683.

Show HN: ClawSec an open-source, community-driven secure skill suite

github.com/prompt-security

4 months ago

2 points

684.

Ask HN: When should you stop building an open-source AI agent framework?

5 months ago

2 points

685.

Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor

6 months ago

2 points

686.

Show HN: An AI collaboration playbook(AGENTS.md and code map and template)

6 months ago

2 points

687.

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

github.com/encypherai

a year ago

2 points

688.

Show HN: Ts-result – Rust's Result<T, E> type for explicit error handling in TS

github.com/trylonai

a year ago

iLikeFunctional

2 points

689.

Show HN: LLM-driven Tamagotchi built with JavaScript and local model

github.com/ykhli

3 years ago

2 points

690.

Show HN: After years as data engineer, I built the tool I wish my colleagues had

6 days ago

2 points