Search: github.com/deckarep | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Open-source compliance-as-code for crypto projects (github.com/ShorPay)

7 points

10 months ago

62.

Tell HN: macOS is currently detecting Docker as malware

7 points

a year ago

63.

Show HN: Enact – A package manager for AI agent tools (enact.tools)

6 points

5 months ago

64.

Show HN: AGENTS.lock – a package manager for Agents/Skills/MCPs (github.com/luml-ai)

6 points

4 months ago

65.

Show HN: Production-ready Zig template for Flipper Zero apps (github.com/NishantJoshi00)

6 points

7 months ago

66.

Show HN: Sigil – A new programming language for AI agents

5 points

2 months ago

67.

Show HN: New eval from SWE-bench team evalutes LMs based on goals not tickets (codeclash.ai)

5 points

7 months ago

68.

Show HN: Backproto – network backpressure routing applied to AI agent payments (backproto.io)

5 points

3 months ago

69.

Show HN: BaaS to build agents as data, not code (github.com/julep-ai)

5 points

10 months ago

70.

Brainfreeze – Predictive State Management

5 points

9 years ago

71.

Show HN: Tach – a Python tool to enforce modular design, inspired by nx (github.com/Never-Over)

4 points

2 years ago

72.

Show HN: Kubernetes Security Profile Generator Using eBPF

4 points

3 months ago

73.

Show HN: SQLAlchemy just the core – a better way (github.com/sayanarijit)

4 points

a year ago

74.

Show HN: Blob Goes 3D – A 3D game for the Gameboy Advance in Rust (github.com/MilanFIN)

4 points

a year ago

75.

Show HN: Anvil-Install your tool-chain in one command and manage configs easily (github.com/rocajuanma)

3 points

9 months ago

76.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms (github.com/realadeel)

3 points

4 months ago

77.

Show HN: I built an open protocol for Agent-to-agent commercial negotiation (a2cn.io)

3 points

2 months ago

78.

Show HN: MongoClaw, A mutation runtime for MongoDB with write-time agent safety (github.com/supreeth-ravi)

3 points

3 months ago

79.

Show HN: Vett – Scan, sign, and verify AI agent skills before installing (vett.sh)

3 points

4 months ago

80.

Show HN: Cppsp v1.4 –– multi-var support: var a,b,C = 1,2,3 int (github.com/user19870)

3 points

5 months ago

81.

Show HN: DbDeclare – A Python declarative layer for your database (github.com/raaidarshad)

3 points

3 years ago

82.

Show HN: Dead easy configuration of apps in Go (github.com/num30)

3 points

4 years ago

83.

Show HN: ToolMesh – turn all your REST APIs into MCP tools via declarative YAML

2 points

a month ago

84.

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

2 points

3 months ago

85.

Show HN: Wombat, a Unix-style rwxd permissions for MCP tool calls (github.com/usewombat)

2 points

3 months ago

86.

Show HN: Effect-log – Semantic crash recovery for AI agent side effects (github.com/xudong963)

2 points

3 months ago

87.

Show HN: CtxVault – agent memory isolation enforced outside app code

2 points

3 months ago

88.

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

2 points

3 months ago

89.

Show HN: MCPX – Turn any MCP server into a composable CLI for agents (github.com/lydakis)

2 points

3 months ago

90.

IntentBound: Purpose-aware authorization for autonomous AI agents

2 points

4 months ago