Developer tools news — AI coding assistants, IDEs, CLI tools, APIs, and productivity tools for software engineers. GitHub Copilot, Cursor, and more.
A developer published a tutorial showing how to build a privacy-first health assistant that runs Llama-3 entirely on an iPhone using Apple's MLX-Swift framework. The approach pulls step count and sleep data from HealthKi…
GEML, a plain-text document format designed to be edited in place one section at a time, published version 1.11.1 to the official MCP registry on 2026-09-18 and is distributed as @geml/geml on npm, according to the mcpin…
Augment Code benchmarked ten open-source AI code review tools against a 450,000-file Python, TypeScript, Java and Go monorepo, finding that self-hosting costs roughly $4,100 to $9,100 per month at any team size versus $2…
Amazon detailed Verus, a Rust verifier used in Firecracker and AWS Lambda that mechanically proves annotated functions against a mathematical spec for all possible inputs rather than reviewing code. A developer argues th…
A developer outlined a pattern for building agent user interfaces in Angular that model runtime states explicitly rather than collapsing them into a single loading spinner. The approach derives UI state from an observabl…
A developer published a deep-dive on applying discrete diffusion models to code generation as an alternative to autoregressive LLMs like GPT-4 and Claude. The writeup argues that diffusion's iterative denoising approach …
The jira-mini-mcp MCP server, version 0.9.3, was published to the official MCP registry on 2026-09-18 by io.github.proprock, offering a minimal Jira Cloud integration with six read tools and a three-tool write surface th…
Zeus Dev Helper v0.7.2, an MCP server distributed as zeus-dev-helper-mcp on PyPI, was published to the official MCP registry on 2026-09-18 and declares 10 environment variables, according to the mcpindex index. The mcpin…
A developer maintaining RTBlint, an open-source OpenRTB and ARTF linter, has detailed a common publisher-stage ARTF misconfiguration in which an envelope labeled LIFECYCLE_PUBLISHER_BID_REQUEST still carries a bid_respon…
A developer built quota-catchup.py, a companion tool to the claude-quota-guard.py quota circuit breaker that decides which of 15 launchd jobs to re-run after a quota-exhaustion circuit closes. The script identifies re-ru…
Developer MrDesjardins extended Jev Realtime Code Check, an open-source tool with 480 rules, so the same rule set runs in three places: inside LLM coding agents such as Codex and Claude, in the VS Code editor on save or …
A software company founder who mandated AI-assisted coding across his development team in January 2026 reported that one engineer can now produce several times as much output as before, but said code review has become "a…
Harness Arena, a platform sponsored by On Demand, launched a blind-comparison tool that runs multiple AI coding agent harnesses — including Codex, On Demand, Hermes, OpenCode, OpenClaw, and Claude Code — on the same task…
Harness Arena, an open-source platform for comparing AI agent harnesses, now lets signed-in users upload their own task datasets, select harnesses such as Codex, Claude Code, OpenCode and Hermes, choose a model, and subm…
A comparison of four formal-verification tools — Bend, Verus, Dafny and Lean — argues that proofs, not tests, are what make agent-written code trustworthy, citing Amazon Science's August 31, 2026 post on the Rust verifie…
Effect, the TypeScript library for building synchronous and asynchronous programs, published its weekly community update, This Week in Effect - 136, detailing continued release-candidate hardening plus new capabilities i…
OpenAI's Codex CLI is open source under Apache-2.0 and its Free plan is listed at $0 a month, but OpenAI publishes no usage allowance for that tier — its published estimates begin with Plus at $20 a month, according to O…
Anthropic does not include Claude Code in its free plan, listing it as "No" on Free and including it from Pro at $20 a month or $17 a month billed annually, and in Max from $100 a month, according to Anthropic's pricing …
GitHub Next published a post titled "Sparkle Pills" describing a templating convention in which instructions wrapped in `*(...)` mark slots that a large language model fills in while surrounding verbatim text is preserve…
Vercel added GLM 5.3 FlashX, Z.ai's multimodal coding model, to its AI Gateway, offering inference at roughly 200 tokens per second. The high-speed serving option is aimed at coding agents, tool loops, and interactive ap…