Search: github.com/vigo | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

VSCode feature request: Implement Google Chrome-like grouped tabs

2 points

6 years ago

422.

Show HN: Alint, a fast linter for repository structure and hygiene (github.com/asamarts)

2 points

25 days ago

423.

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

2 points

3 months ago

424.

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

2 points

3 months ago

425.

Show HN: LawClaw – Constitutional governance for AI agents (MIT)

2 points

4 months ago

426.

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

2 points

4 months ago

427.

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

2 points

4 months ago

428.

Show HN: Samma Suit – Open-source 8-layer security framework for AI agents (sammasuit.com)

2 points

4 months ago

429.

IntentBound: Purpose-aware authorization for autonomous AI agents

2 points

4 months ago

430.

Show HN: Bazinga – Enforced engineering practices for AI coding (github.com/mehdic)

2 points

5 months ago

431.

Show HN: A Constitutional Framework for Ethical AI Decision-Making (github.com/SebastFock)

2 points

5 months ago

432.

Twitter killed my airplane tracking bot

2 points

6 years ago

433.

Project Lean – The $10B Singularity Architecture

2 points

2 months ago

434.

Show HN: Arxitect – Claude Code plugin for software design principles (github.com/andonimichael)

2 points

3 months ago

435.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM (mnemom.ai)

2 points

4 months ago

436.

Show HN: MarkdownLM – Stop being the human middleware for your AI agent

2 points

4 months ago

437.

Show HN: Kontra - data quality validator that avoids unnecessary full scans (github.com/Saevarl)

2 points

5 months ago

438.

Show HN : Pilot – System to improve dramatically your AI coding (github.com/clementrog)

2 points

5 months ago

439.

Show HN: Enforcing Safe RSC Boundaries (github.com/yuuichieguchi)

2 points

5 months ago

440.

Show HN: Kiss – code-complexity feedback for LLM coding agents (github.com/dsweet99)

2 points

6 months ago

441.

Show HN: OmnAI – Sovereign AI infrastructure with multi-vault isolation (github.com/TadTanyaTalaTadenTadhgTaya)

2 points

6 months ago

442.

Show HN: Pytest-test-categories Enforce Google's test sizes in Python (github.com/mikelane)

2 points

6 months ago

443.

Show HN: Simulate AI Chatbot Conversations (github.com/onerun-ai)

2 points

9 months ago

444.

Show HN: GhostSys: CET-Compliant Windows Syscalls (github.com/tlsbollei)

2 points

9 months ago

445.

Show HN: Open Source AI Code Review Agent for Teams (github.com/wispbit-ai)

2 points

10 months ago

446.

Show HN: Smart Guardian – a privacy-first Chrome extension to protect kids (github.com/RezaeiSaber)

2 points

a year ago

447.

Show HN: Dipstick – A new way to DI in TS (github.com/mako-taco)

2 points

a year ago

448.

Show HN: Story Jam, a music composition tool for Storytellers

2 points

a year ago

449.

Show HN: Couscous – AI-powered code reviews that keep your team in sync (github.com/ARAldhafeeri)

2 points

a year ago

450.

Show HN: UserScript to manually choose model for ChatGPT website (raw.githubusercontent.com)

2 points

2 years ago