Search: github.com/evidence | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: Persistent Mind Model (PMM) – Update: an model-agnostic "mind-layer" (github.com/scottonanski)

3 points

9 months ago

92.

Ask HN: What typefaces and display technologies were used in the Apollo MOCR?

3 points

6 years ago

93.

Show HN: Sally CLI Because "You're right" is probably wrong

3 points

2 months ago

94.

Show HN: Calx – track and compile corrections humans make with AI agents (github.com)

3 points

2 months ago

95.

Show HN: Adversarial Code Review paired agents, zero noise,validated findings (github.com/gaurav-yadav)

3 points

3 months ago

96.

Show HN:Conduit–Headless browser with SHA-256 hash chain - Ed25519 audit trails

3 points

3 months ago

97.

Show HN: Belgi – deterministic acceptance pipeline for LLM outputs (github.com/belgi-protocol)

3 points

4 months ago

98.

Show HN: Lint-AI by RooAGI, a Rust CLI for AI Doc Retrieval (github.com/RooAGI)

3 points

2 months ago

99.

Show HN: Agents shouldn't operate software–they should coordinate commitments

3 points

3 months ago

100.

Show HN: OpenRevise is the Harvey for all industries (github.com/StartripAI)

3 points

4 months ago

101.

Show HN: Circe – Deterministic, offline-verifiable receipts for AI agent actions (github.com/wv26296-ux)

2 points

5 months ago

102.

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

2 points

10 months ago

103.

Show HN: Proof Loop – I make my coding agents prove they finished the task (github.com/LeoStehlik)

2 points

14 days ago

104.

Show HN: A community catalog of CI certified agents (github.com/justindobbs)

2 points

3 months ago

105.

Show HN: Sinkai – Let AI agents hire humans for real-world tasks (sinkai.tokyo)

2 points

4 months ago

106.

Show HN: Verify-before-release x402 gateway for AI agent transactions

2 points

4 months ago

107.

Show HN: TimeSeal – Cryptographic time-locked vaults with Dead Man's Switch (github.com/Teycir)

2 points

5 months ago

108.

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

2 points

6 months ago

109.

Tell HN: Google Search has an honest-to-goodness minor bug

2 points

15 years ago

110.

Show HN: Orkia – a Rust runtime where AI agents can't bypass governance (github.com/orkiaHQ)

2 points

3 months ago

111.

Show HN: TrustVector – Trust evaluations for AI models, agents, & MCP (github.com/guard0-ai)

2 points

4 months ago

112.

Show HN: Endpoint State Policy – Policy as Data (github.com/scanset)

2 points

5 months ago

113.

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

2 points

2 days ago

114.

Show HN: Darc – grep-like memory search tool for coding agents (github.com/0xjunha)

2 points

14 days ago

115.

Show HN: GoPOSIX – a Go-native POSIX userland, ~97% BusyBox-compatible (github.com/ramayac)

2 points

16 days ago

116.

Show HN: AgentScan – Detect AI agent accounts on GitHub (agentscan.netlify.app)

2 points

3 months ago

117.

Show HN: Cruxible Core – Deterministic decision engine with receipts for agents (github.com/cruxible-ai)

2 points

3 months ago

118.

Show HN: RunbookAI – Hypothesis-driven incident investigation agent(open source) (userunbook.ai)

2 points

3 months ago

119.

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

2 points

3 months ago

120.

Critical Logic Bypass "Intended Behavior" Full System Access

2 points

4 months ago