Search: github.com/krisk | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

811.

Show HN: A Python CEL implementation (written in Rust)

2 points

10 months ago

812.

Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints

2 points

a year ago

813.

Show HN: I made a LLM trade Stocks (github.com/Itachi-Uchiha581)

2 points

2 years ago

814.

Show HN: SkillFortify, a formal verification for AI agent skills (github.com/varun369)

2 points

3 months ago

815.

Show HN: AI-runtime-guard – Policy enforcement layer for MCP AI agents (github.com/jimmyracheta)

2 points

3 months ago

816.

Most web utility sites are going to die soon

2 points

4 months ago

817.

Show HN: EdgeAI-OS – Air-gapped Linux distro where AI is a system primitive

2 points

4 months ago

818.

Show HN: Phantom Guard – Detect AI-hallucinated package attacks (github.com/matte1782)

2 points

5 months ago

819.

Show HN: Veritas OS – Local OS for LLM Governance (github.com/veritasfuji-japan)

2 points

6 months ago

820.

Show HN: Sentrilite: a hybrid-cloud control plane for observability and security

2 points

9 months ago

821.

Show HN: Accidentally built churn detection AI (I don't code) (github.com/willster78)

2 points

10 months ago

822.

Show HN: Chainflow – API call workflows in TypeScript (github.com/edwinlzs)

2 points

2 years ago

823.

Ask HN: Launching a SaaS startup with free plan first?

2 points

8 years ago

824.

Ask HN: How should I sell my HTML5 X11/remote desktop app?

2 points

13 years ago

825.

Show HN: Laravel middleware that logs attacks-injection, XSS, bots, never blocks (github.com/jay123anta)

2 points

3 months ago

826.

Show HN: Elia – Governed hybrid architecture (LLM is capability, not authority) (github.com/Jmc-arch)

2 points

3 months ago

827.

Show HN: SkillFortify, Formal verification for AI agents (auto-discovers) (github.com/varun369)

2 points

3 months ago

828.

Show HN: Go-GATE – Database-grade safety for AI agents (github.com/billyxp74)

2 points

3 months ago

829.

Show HN: Raypher–eBPF-based runtime security and hardware identity for AI agents (github.com/kidigapeet)

2 points

4 months ago

830.

Show HN: BigAsk - a web interface for exploring BigQuery using natural language (github.com/stevenwinnick)

2 points

4 months ago

831.

Show HN: APIsec MCP Audit – Audit what your AI agents can access (github.com/apisec-inc)

2 points

5 months ago

832.

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

2 points

5 months ago

833.

2 points

14 years ago

834.

Show HN: Integration Security Top 10: An OWASP-style framework (github.com/vikram-s-narayan)

2 points

9 months ago

835.

Show HN: EncypherAI, Open-source tool for cryptographically verifying AI text (github.com/encypherai)

2 points

a year ago

836.

Show HN: Shell Sage – AI-Powered Terminal Assistant (shellsage.vercel.app)

2 points

a year ago

837.

Show HN: Use Karpor to gain curcial visibility into Kubernetes (github.com/KusionStack)

2 points

2 years ago

838.

Lambda: The First Open-Source Social Media App

2 points

2 years ago

839.

How should I manage and develop my open-source project?

2 points

3 years ago

840.

Show HN: Genomi – make genome data manageable and queryable by AI agents (github.com/exon-research)

2 points

5 days ago