Search: github.com/veryfi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Show HN: I just shipped the canonical neuro-symbolic control demo (github.com/anulum)

1 point

4 months ago

902.

Show HN: A2A Protocol – A Quantum-Humanistic Economy for AI Agents on Base L2

1 point

4 months ago

903.

Show HN: AgentForge – Multi-LLM Orchestrator in 15KB (github.com/ChunkyTortoise)

1 point

4 months ago

904.

Show HN: Kremis – Deterministic memory graph for AI agents (Rust) (github.com/M2Dr3g0n)

1 point

4 months ago

905.

Show HN: Gait – because "what did the AI agent do?" shouldn't require guesswork (github.com/davidahmann)

1 point

4 months ago

906.

Show HN: Fixing AI's Core Flaws, A protocol cuts LLM token waste by 40–70%

1 point

4 months ago

907.

Show HN:AIP Protocol–Solving the agent revocation problem in distributed systems (github.com/theaniketgiri)

1 point

4 months ago

908.

Show HN: Crypthold – Deterministic, Tamper-Evident Secure State Engine (github.com/laphilosophia)

1 point

4 months ago

909.

Show HN: C2PA is broken. I fixed it with an adaptive registry and open protocol (github.com/HumanLemming996)

1 point

4 months ago

910.

Show HN: SatGate – Budget enforcement proxy for MCP tool calls (L402/macaroons)

1 point

4 months ago

911.

Show HN: Roe.md generate your own OpenClaw-like bot from a single Markdown file (github.com/guld)

1 point

4 months ago

912.

Show HN: Tako AI – Agent for Okta With Natural language (zero hallucination) (github.com/fctr-id)

1 point

4 months ago

913.

Show HN: Onlybots.cam (onlybots.cam)

1 point

4 months ago

914.

Show HN: SPICEBridge – MCP server for AI circuit design via ngspice (github.com/clanker-lover)

1 point

4 months ago

915.

MiRAGE: Open-source framework for multimodal RAG evaluation

1 point

4 months ago

916.

Show HN: Kore – Stack based language where compiler is the reward function (github.com/konf-dev)

1 point

4 months ago

917.

Show HN: Insurance AI Benchmark – 510 scenarios from production (huggingface.co)

1 point

4 months ago

918.

Show HN: EU AI Act Layer – Free Compliance Checker (x-loop3.com)

1 point

4 months ago

919.

Show HN: Browser Terminal Use – A Local-to-Cloud Execution Bridge for LLM Agents (github.com/chaokunyang)

1 point

4 months ago

920.

Show HN: Parametric Hubris – Beating GPT-5 on SimpleQA with forced retrieval (dev.thelastrag.de)

1 point

4 months ago

921.

Show HN: Deterministic NDJSON audit logs – v1.2 update (structural gaps) (github.com/yupme-bot)

1 point

4 months ago

922.

Show HN: Sigma Runtime – Maintaining 100% Fact Integrity over 120 LLM Cycles (github.com/sigmastratum)

1 point

4 months ago

923.

Show HN: Factcheck – An open-source YouTube fact-checker. I need your help (github.com/humanchaos)

1 point

4 months ago

924.

Show HN: 32KB deductive engine that catches LLM hallucinations

1 point

4 months ago

925.

A Zero-Layer Approach to Memory Safety (1:1 IR, No Sandbox)

1 point

4 months ago

926.

Show HN: Nod – A protocol for agent-to-agent security handshakes (github.com/mraml)

1 point

4 months ago

927.

Show HN: Agent OS – Safety-first platform for building AI agents with VS Code (github.com/imran-siddique)

1 point

4 months ago

928.

Show HN: Intent-Driven Development with NTNT (github.com/ntntlang)

1 point

4 months ago

929.

Show HN: Meru OS – The First Sovereign AI Stack (<2MB, CPU-Native)

1 point

4 months ago

930.

Show HN: 500-cycle runtime test for long-horizon LLM coherence (zenodo.org)

1 point

4 months ago