Search: github.com/tr1s | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

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

github.com/varun369

4 months ago

2 points

812.

Show HN: Pincer-MCP – Stop AI agents from reading their own credentials

github.com/VouchlyAI

4 months ago

2 points

813.

Show HN: MEDF – Mutable Expression Description Format

github.com/maskin

5 months ago

2 points

814.

IntentBound: Purpose-aware authorization for autonomous AI agents

5 months ago

2 points

815.

Show HN: TAUI – Structured Terminal Agent UI (Like Google A2UI)

github.com/TAUI-Standards

5 months ago

2 points

816.

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

6 months ago

2 points

817.

Show HN: Tandem – Real-time collaborative editor with AI attribution tracking

github.com/lmanchu

6 months ago

2 points

818.

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

github.com/bibinprathap

9 months ago

2 points

819.

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source)

github.com/akarlaraytu

9 months ago

2 points

820.

Show HN: My Open Source HTML Drafting Program

github.com/dckimMysteryAuthor

a year ago

2 points

821.

Show HN: I built a GitHub AI app to automate the fixing of outdated docs

github.com/marketplace

a year ago

2 points

822.

Show HN: VT Chat – Minimal AI Chat Application

a year ago

2 points

823.

Show HN: ServBay – My Journey to Simplify Reserve Proxy

a year ago

2 points

824.

Ask HN: Is anyone else confused about the business model of Screenpipe?

2 years ago

2 points

825.

Lambda: The First Open-Source Social Media App

2 years ago

2 points

826.

Show HN: Media Hoarder X ChatGPT

3 years ago

2 points

827.

Show HN: Click the Number Reaction Game

projects.marcnitzsche.de

4 years ago

2 points

828.

Show HN: Web Researcher MCP – Search with verify citations and sources

github.com/zoharbabin

12 days ago

2 points

829.

Show HN: Spdr, an open DDR5 SPD decoder and linter (JESD400-5 is paywalled)

github.com/The-Open-Memory-Initiative-OMI

18 days ago

2 points

830.

Show HN: Built a verifiable, open-source SoC 2 readiness scanner

a month ago

2 points

831.

Show HN: JavaScript port of SQLite's parser, 2x-200x faster than others

github.com/justjake

a month ago

2 points

832.

Show HN: We open-sourced a 6-library governance stack for AI agents (Python)

2 months ago

2 points

833.

Show HN: I built a CLI to fake Git commits

github.com/TDiblik

2 months ago

2 points

834.

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

safeinstall.dev

2 months ago

MichaelLabitzke

2 points

835.

Show HN: Built a personality that lives across CLI, browser, and web –> all solo

2 months ago

2 points

836.

Show HN: A personal AI kernel where other agents ask permission for your data

github.com/rajmohanutopai

3 months ago

2 points

837.

Show HN: OpenClaw Arena – Benchmark models on real tasks, rank by perf and cost

3 months ago

2 points

838.

Show HN: Fakekey – never expose real API keys in the agent environment

github.com/happyvibing

3 months ago

2 points

839.

Show HN: LocalAgent v0.5.0, a local-first Rust agent runtime

github.com/CalvinSturm

3 months ago

2 points

840.

Show HN: MCPS – Cryptographic identity and message signing for MCP agents

3 months ago

2 points