Search: github.com/txus | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

751.

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

2 points

3 months ago

752.

Most web utility sites are going to die soon

2 points

4 months ago

753.

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

2 points

4 months ago

754.

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

2 points

4 months ago

755.

Show HN: rtty-soda – CLI frontend to NaCl (PyNaCl) for encrypting small files (github.com/theosaveliev)

2 points

4 months ago

756.

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

2 points

5 months ago

757.

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

2 points

6 months ago

758.

AIHint an open standard for signed verifiable metadata readable by AI on the web

2 points

a year ago

759.

Kozel – Software for Cryptocurrencies

2 points

a year ago

760.

Ask HN: What topics are good for a software programming primer?

2 points

3 years ago

761.

Ask HN: Web scraping based on Computer Vision?

2 points

4 years ago

762.

I made Ghost work with multiple users (github.com/mkawalec)

2 points

12 years ago

763.

Show HN: A seed prompt that bootstraps a custom knowledge-base system (github.com/dah)

2 points

24 days ago

764.

Show HN: RipStop – Git guardrails to reduce impact if your code agent goes wild (github.com/jonverrier)

2 points

a month ago

765.

Show HN: Cordon – Security gateway for MCP tool calls with HITL approvals (github.com/marras0914)

2 points

a month ago

766.

Show HN: We put ZK attribute proofs inside x402 payment headers

2 points

a month ago

767.

Show HN: I built a S3 proxy that combines storage from S3/clouds into one target (github.com/afreidah)

2 points

3 months ago

768.

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

2 points

3 months ago

769.

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

2 points

3 months ago

770.

Show HN: Pincer-MCP – Stop AI agents from reading their own credentials (github.com/VouchlyAI)

2 points

4 months ago

771.

Show HN: MEDF – Mutable Expression Description Format (github.com/maskin)

2 points

4 months ago

772.

IntentBound: Purpose-aware authorization for autonomous AI agents

2 points

4 months ago

773.

Show HN: TAUI – Structured Terminal Agent UI (Like Google A2UI) (github.com/TAUI-Standards)

2 points

4 months ago

774.

Show HN: Wozz – open-source Kubernetes cost linter and cluster auditor

2 points

5 months ago

775.

Show HN: Tandem – Real-time collaborative editor with AI attribution tracking (github.com/lmanchu)

2 points

6 months ago

776.

Show HN: VeritasGraph – On-prem Graph RAG (3.3k+ visitors, 130 stars in 5 days) (github.com/bibinprathap)

2 points

9 months ago

777.

Show HN: Project Chimera v1.2 – Neuro-Symbolic-Causal AI Agent (Open Source) (github.com/akarlaraytu)

2 points

9 months ago

778.

Show HN: I built a GitHub AI app to automate the fixing of outdated docs (github.com/marketplace)

2 points

a year ago

779.

Show HN: VT Chat – Minimal AI Chat Application (vtchat.io.vn)

2 points

a year ago

780.

Show HN: ServBay – My Journey to Simplify Reserve Proxy (servbay.com)

2 points

a year ago