Search: github.com/PRDeving | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

TrustAgentAI – Cryptographic receipts for MCP tool calls (non-repudiation layer)

3 months ago

kirillostrovsky

6 points

32.

It appears acd_cli (Amazon Cloud Drive fuse access project) may be dead

9 years ago

5 points

33.

Show HN: Clawdstrike – a security toolbox for the OpenClaw ecosystem

github.com/backbay-labs

5 months ago

backbay-machine

4 points

34.

Show HN: Quantum-Enhanced Mathematical Reasoning System – Expert Verification

a year ago

4 points

35.

Show HN: Turn ML/AI models into zero-knowledge proofs

github.com/zkonduit

3 years ago

4 points

36.

Ask HN: Use Docker, Foreman, or Vagrant for installing our FOSS project?

12 years ago

4 points

37.

Show HN: Ramble, iOS voice notes that send webhooks

2 months ago

4 points

38.

Show HN: Xilt – A concurrent log parser written in Go

github.com/thevxn

a year ago

4 points

39.

Show HN: Pdf-rfc3161 – Pure JavaScript library for RFC 3161 PDF timestamps

github.com/mingulov

5 months ago

3 points

40.

Show HN: Cryptid Zero Trust Authentication and Authorization, Open Source Oberon

4 years ago

3 points

41.

Show HN: LLM Shell Tools – AI-powered command line helpers(open source + local)

github.com/CepstrumLabs

a year ago

3 points

42.

Show HN: I made PeanoScript, an educational TypeScript-like theorem prover

peanoscript.mjgrzymek.com

a year ago

3 points

43.

Show HN: Provepy – A Python decorator that proves your code using Lean and LLMs

2 months ago

3 points

44.

Show HN: Boucle – A self-dogfooding autonomous AI agent framework in Rus

github.com/Bande-a-Bonnot

4 months ago

3 points

45.

Show HN: Theoriz3r, minimal proof of concept exploratory theorem prover

github.com/tsvibt

3 years ago

3 points

46.

Ask HN: Learning formal methods for software design

7 years ago

3 points

47.

Show HN: Orc – Release the horde. Multi-agent orchestration in pure bash

github.com/spencermarx

3 months ago

2 points

48.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean

github.com/typednotes

3 months ago

2 points

49.

Show HN: RedAI – AI-driven vulnerability discovery and live validation

github.com/kpolley

2 months ago

2 points

50.

Show HN: OmniGlass – Executable AI screen snips with kernel-level sandboxing

github.com/goshtasb

4 months ago

2 points

51.

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

4 months ago

2 points

52.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

53.

Show HN: Consciousness Gateway – AI routing with consciousness-first alignment

github.com/Move37LLC

4 months ago

2 points

54.

Show HN: A GitHub Action that creates Trusted Timestamps for your Git repo

github.com/marketplace

2 years ago

radicalexponent

1 points

55.

Show HN: AgentMint – Cryptographic proof of human approval for AI agent actions

github.com/aniketh-maddipati

4 months ago

1 points

56.

Show HN: Petrarca: Voice first spaced repetition – track knowledge across books

networkedthought.substack.com

3 months ago

1 points

57.

Show HN: Elia – A governed cognitive architecture (Phase 0 live)

github.com/Jmc-arch

3 months ago

1 points

58.

Show HN: EvoAgents – Agents that evolve their own skills

4 months ago

1 points

59.

Show HN: Verity, Formally verified smart contracts from spec to bytecode

github.com/Th0rgal

4 months ago

1 points

60.

Show HN: Mamba3-minimal – PyTorch implementation of Mamba-3

github.com/VikramKarLex

4 months ago

1 points