Mantyl

What it does

Mantyl compiles your repository, your coding-agent history and executed checks into a verified project passport your client can independently re-run. Every claim is labelled by who proved it. Free local-first CLI for Claude Code, Cursor and Codex. No account.

Mantyl turns your repository and coding-agent history into a verified, recipient-ready handover: what exists, what was proven, and what remains unknown.

Mantyl compiles your repository, your coding-agent history and executed checks into a verified project passport, a handover document your client can independently re-run. On the left, what the recipient of an agentic build gets today: a repository, a README the agent wrote, and optimism. On the right, the same project delivered with a passport. The code runs. The story of how and why it runs left with the closed context window, and the client finds out slowly. The recipient re-runs the checks on their own machine before accepting. Both sides know exactly what changed hands. Four stages in the order you already work. Nothing changes until the end of the project, and the end becomes evidence.…from mantyl.dev

• 
  ReplicasJun 2026 · ▲239

  Run Claude Code and Codex in the cloud

• 
  PMBJun 2026 · ▲211

  Stop re-explaining your project to AI coding agents

• 
  CosyraApr 2026 · ▲203

  Run AI coding agents from your phone

• 
  DocsAlot CLI28d ago · docs.docsalot.dev · ▲196

  Let Claude or Codex create and maintain good looking docs

• 
  GitHub Agent HQFeb 2026 · ▲192

  Run Claude, Codex & Copilot directly in GitHub & VS Code

• 
  agentcadJun 2026 · ▲110

  A CAD design tool for coding agents (free + open source)

• 
  I trained a 125M model to autocomplete piano on-device▲598

  I trained a 125M-parameter transformer to autocomplete piano performances in real time (~108 notes/sec on an iPhone 15). The idea is basically GitHub Copilot or Tabnine, except instead of prompting it with code, you prompt it by playing a few notes on a MIDI piano. The model then continues what you played, entirely on-device. The app is free if anyone wants to try it. Happy to answer questions about the model, training, Core ML, or the many things that didn't work.

  AI · 16d ago · simedw.com

• 
  Astute▲585

  Automate your B2B brand going viral, with new media creators

  AI · 18d ago · company-app.joinastute.com

• 
  Grok Bot▲547

  AI teammates that you can give real work to

  AI · 25d ago · x.ai

• 
  Needle2: 14MB agentic LLM for phones, wearables, smart home and robots▲537

  Hey HN, Henry from Cactus here! We previously released Cactus Needle, a 14MB agentic LLM for tool call, device use, and structured extraction for phones, wearables, smart homes, small robots and microcontrollers. We got really great feedback here, and have now incorporated the suggestions to release Needle 2. The whole model is a single 14MB binary that runs a full session in 28MB of RAM; 45m parameters at 2bit compression. Needle hits 500 tokens/sec decode speed on a Raspberry Pi 5, sits between 400-1,500 tokens/sec on VR devices like Meta Quest 3S and Apple Vision Pro, and ranges…

  AI · 26d ago · cactuscompute.com

• 
  Coldtea.ai▲512

  Make your software self-driving

  AI · 30d ago · coldtea.ai

• 
  Soloop▲472

  Approval-first Agent OS for solo founders

  AI · 30d ago · soloop.io

• 
  Open-Source eInk Bike Computer▲384

  OpenTrailPaper is open-source bike computer firmware for the LilyGO T5S3 4.7" E-Paper PRO. It supports offline maps, GPX routes, FIT recording and Bluetooth sensors.

  Dev tools · 1d ago · opentrailpaper.com

• 
  Running 104GB Qwen3.8-Flash-Next on 48GB Mac with at ~12 tok/s▲237

  Run Qwen3.8-Flash-Next (125B MoE, 104 GB at 4-bit) on Macs with a fraction of that RAM by streaming experts from SSD. MLX + Swift, Ollama-compatible API. - carloslfu/slotstream

  Dev tools · 4d ago · github.com

• 
  TERMy – A fast terminal assistant that does not use LLMs▲185

  NPC-Forge is a framework for building conversational agents that run on the CPU without relying on machine learning or LLMs. - NPC-Forge/docs/development.md at main · gioblu/NPC-Forge

  AI · 2d ago · github.com

• 
  Weedout – Safari extension that hides YouTube AI-labeled videos▲182

  Weedout is a Safari extension that filters out videos YouTube labels as “Made with AI”.

  AI · 4d ago · masteranza.github.io

• 
  HN Match Maker – Matching "Who Wants to Be Hired?" With "Who's Hiring?"▲123

  Find your next hire or your next role from Hacker News monthly threads. AI-powered matching between candidates and job postings.

  AI · 4d ago · hnmatchmaker.com

• 
  OwnTime – a chess clock for your day's priorities▲110

  I made OwnTime to balance between competing priorities in my life. The idea is based on two main influences: the concept of "roles" from "The 5 Choices" (2015), and my repeated failure to effectively implement time blocking due to the necessary flexibility in my role. The app allows you to define time budgets, which are not much more than a few mutually exclusive countdown timers. The UX is essentially that of a chess clock for an arbitrary number of players with configurable time. The whole point of the app is to kick you out of the running role/priority when its time is up. One…

  Life & fun · 4d ago · owntime.app