Search: github.com/ENFOS | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

451.

Show HN: LocalAgent: local coding agent CLI with trust and replay (github.com/CalvinSturm)

2 points

4 months ago

452.

Show HN: CGK – Provably Preventing Overcommit in Distributed Capacity Markets (distributed-markets-overcommit.github.io)

2 points

4 months ago

453.

Show HN: System architecture method using mythology and LLMs (no CS background)" (github.com/FusionAlchemist)

2 points

fusionalchemist

4 months ago

454.

Show HN: Claude Pilot – Claude Code is powerful. Pilot makes it reliable (github.com/maxritter)

2 points

4 months ago

455.

Show HN: MCP App Template designed for coding agents (github.com/sebderhy)

2 points

4 months ago

456.

Show HN: Airut – Sandboxed Claude Code sessions over email (github.com/airutorg)

2 points

4 months ago

457.

Show HN: Pyrig – One command to set up a production-ready Python project (github.com/Winipedia)

2 points

4 months ago

458.

Show HN: OAuth 2.0 server with AI security agents (EU sovereign alternative) (github.com/devon39)

2 points

4 months ago

459.

Show HN: SemaMesh: eBPF-based firewall for AI Agents(blocks destructive prompts) (github.com/semamesh)

2 points

4 months ago

460.

Show HN: Cuttlefish – 40ns causal consistency using algebra instead of consensus (github.com/abokhalill)

2 points

4 months ago

461.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

2 points

5 months ago

462.

Show HN: Sigil – Track data trust at the type level

2 points

5 months ago

463.

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

2 points

5 months ago

464.

Show HN: Production-readiness – Turn Sr engineer intuition into automated checks (github.com/chuanjin)

2 points

5 months ago

465.

Show HN: I built a visual, MLOps tool (Skyulf) (skyulf.com)

2 points

flyingriverhrse

5 months ago

466.

Show HN: Ctrl – execution control plane for AI agents (github.com/MehulG)

2 points

5 months ago

467.

Show HN: Claude Bootstrap – Opinionated Guardrails for Claude Code (github.com/alinaqi)

2 points

5 months ago

468.

Show HN: Headup.nvim` – Update file header metadata in Neovim (github.com/Fro-Q)

2 points

5 months ago

469.

Show HN: Request sensitive user input from system services (github.com/LightAndLight)

2 points

5 months ago

470.

Show HN: Mandate – treating AI agents like economic actors, not scripts (github.com/kashaf12)

2 points

5 months ago

471.

Show HN: ChronoGuard–Zero-trust proxy for browser automation with temporal ctrls (github.com/j-raghavan)

2 points

7 months ago

472.

Show HN: Hikugen – minimalistic LLM-generated web scrapers for structured data (github.com/goncharom)

2 points

7 months ago

473.

Show HN: An ETL engine with hard memory guarantees (github.com/logannye)

2 points

7 months ago

474.

Show HN: E2E Testing for Chatbots (github.com/SigmaEval)

2 points

7 months ago

475.

Show HN: Orchestro – Trello for Claude Code (open-source MCP server) (orchestro.org)

2 points

8 months ago

476.

Lint your commits using natural language

2 points

9 months ago

477.

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

2 points

9 months ago

478.

Show HN: Bootstrapped Terraform Orchestration in OCaml

2 points

9 months ago

479.

Show HN: Promptproof – GitHub Action to test LLM prompts, catch bad JSON schemas (github.com/geminimir)

2 points

9 months ago

480.

Show HN: Creating a Binary Puzzle Game (taengo.vercel.app)

2 points

10 months ago