Developer Corner

A free multiplayer revival of GTA: San Andreas that aims to put the single-player traffic, pedestrians, gangs, and cops back into shared play.

A work-in-progress operating system written from scratch in Rust for people who want control down to bare metal.

3DSKILL presents interactive 3D visual experiments with adjustable effects, reusable asset references, and prompts for exploring implementation.

A free, open-source scanner checks Agent Skills as text, grades them A to F, and lists audited skills for Claude Code, Codex, and Cursor.

An independent project publishes medical-AI evaluations on Korean clinical datasets, including scores, item-level predictions, and model versions.

A compiler-and-prover project for Ada/SPARK that lets programmers write in Ada, typed Python, or a C/Rust-like syntax.

A project page for a CAD-modeled turret concept and offline 3D apiary simulator aimed at defending Maltese beehives from Oriental hornets.

An open-source hostel-management system pairs student QR passes and staff tools with ESP32 gate scanners.

An open-source MCP server that detects text hidden in PDFs, Word files, emails, and plain text before an AI agent reads the document.

Cecil lets visitors point to a page element, describe what is wrong, and send a structured report to GitHub, GitLab, or Jira for a coding agent to act on.

A CC: Tweaked addon that serves a live dashboard from a Minecraft server, letting players monitor and control connected machines, redstone, and storage from a browser.

A verification harness that presents Lean 4 specifications, counterexamples, and proof results for financial code, including fixes proposed by Meta’s Muse models.

A Mac app that represents coding-agent activity as critters marked working, waiting, or napping.

A field reference for locating, extracting, and interpreting Android evidence across Android 8–16.

An open-source Rust tool that extracts text and structure from documents into Markdown, HTML, plain text, or JSON.

An interactive SRE lab lets visitors inject faults into a simulated ten-service shop or replay recorded investigations of an AI agent diagnosing outages.

Exocortex presents a wearable EEG system built into an ordinary-looking beanie, with technical specifications, build documents, and a $5,000 preorder.

A wireless CMSIS-DAP probe carries SWD or JTAG debugging, SWO trace, and target UART over an encrypted radio link.

Proteus presents a 7.5 kg uncrewed vehicle designed to fly, dive, and cross between air and water without swapping parts.

RatioLab offers browser-based and desktop software for setting parameters, inspecting 3D gear and reducer models, and exporting designs.

A browser playground for testing a 0.6B chemistry model that proposes reactants for a molecule or searches for a full synthesis route, with comparisons to frontier LLMs.

S.C.O.U.T. presents a low-cost, battery-powered buoy design for monitoring nearshore reef temperature, turbidity, and locally recorded sound.

Slath is an early-stage code forge for small teams to host themselves, supporting Git and Jujutsu repositories.

A Windows tray app that records approved workflows in GUI programs and lets other systems run them through HTTP requests.

A Nightly tool for directing Codex or Claude Code on a chosen computer, with task stages and results returned to the original chat.

Wetloop presents a development layer for running one application against a synthetic device, Cortical’s simulator, or living-neuron hardware.

A 62-topic survey collects coding agents’ reported tools, models, workflows, and friction through a prompt users paste into an agent.

aiVoice presents a self-hosted phone system that runs on Node.js, plus browser-based labs for exploring how VoIP calls work.

Atoll is a native macOS SSH client that brings terminals, SFTP, containers, and system services together across configured servers.

A creator’s detailed proposal for a Linux desktop environment built from modular programs, task-oriented workspaces, and interfaces readable by agents.

It presents a Python-like language that compiles to Rust, with compiler errors designed as compact, actionable feedback for AI models.

A project page documenting a radar prototype built around four TI AWR2243 chips, with hardware details, a signal-processing walkthrough, and camera-and-radar demos.

A codebase checker for AI coding agents that maps business rules across files and flags coupled changes with evidence.

A browser-based 3D city model lets visitors explore Takadanobaba, Tokyo, using desktop or mobile controls.

A pay-per-lookup API that returns company details from public sources, with links to the source for each fact.

A public-beta Valheim mod built around drafted abilities, changeable runes, divine blessings, quests, and character resets.

Fennec is an in-progress compiled language with Python-like syntax, presented as a language agents can write and people can read.

A Chinese-language technical notebook documenting firmware, embedded software, and circuit work, with focused guides to PMBus, IPMI, and BMC systems.

Formalize.now publishes Lean verification stories that connect mathematical claims to formal statements, source code, papers, and reproduction guidance.

Trialbase describes a service for testing robot policies across randomized simulated worlds and grouping failures by cause.

An open-source Windows desktop companion that pairs a Live2D character with chat, coding, file operations, and delegated AI tasks.

An OpenAI-compatible inference API that says it returns signed receipts so users can verify outputs across hardware.

Kaupia describes a commerce layer where AI agents can search, compare and order products from real stores through web pages, a JSON API or MCP.

An independent x86_64 Linux distribution built from source, with its own Rust package manager.

An open protocol for waking Zcash wallets on a schedule or alerting them to incoming shielded payments.

LinkVion combines industrial equipment connectivity, browser-based SCADA, alarms, records, reporting, and optional vision inspection in one software platform.

A local desktop monitor for CI, deploys, uptime, errors, certificates, and other checks, grouped by app.

Oh My Hermes turns Hermes Agent into an IDE coding harness, routing work through model chains and parallel runs.

An open-source process manager for Linux servers that starts apps, restarts them after crashes, keeps logs, and can restore them after a reboot.

It describes a setup where an on-site phone and OTG serial cable connect a network device’s console port to a remote browser terminal.

Scatterways offers a managed monthly rental of equipment for distributed temperature and acoustic sensing over fibre-optic cable.

Spend Brake is a proxy that checks paid API calls against spending caps before forwarding them, with support for Google Maps Platform and other APIs.

The homepage describes an unofficial .NET engine for The Sims 3 that uses files from a player’s existing installation; old-save support and multiplayer remain goals.

Callmark proposes embedding a signed, machine-readable identity in AI-generated call audio so recipients can check which company sent the agent.

NEXA is a desktop agent network for finding skills, other agents, or people to handle a task, with terms negotiated before the user decides whether to proceed.

A Node.js reimplementation of a children’s smartwatch parent app, with a browser interface for location, messaging, device settings, and bot integrations.

A tool for running AI agents on a schedule with spending caps, approval gates for risky actions, and run receipts.

A public benchmark compares ObsessionDB and ClickHouse Cloud on ClickBench, reporting query speed, latency, load speed, and estimated cost.

An open-source Blender add-on for simulating smoke, fire, and liquid on NVIDIA GPUs, with results written as OpenVDB sequences.

A Uniswap v4 hook presents a public lattice challenge: participants commit vectors, reveal them later, and compete to set shorter records for a fee-funded payout.

An early-beta tool that says it runs firmware binaries on simulated microcontrollers and checks their responses to scripted hardware scenarios.

Navoras is developing speech synthesis for Kenyan English and Kiswahili, with an API and text handling designed around local usage.

A terminal coding agent for Nigerian engineers that can chat with, edit, review, and scan an open project, with usage priced in naira.

A Morocco-based project explores whether authorized computers can share the work of running open AI models.

An open-source tool for checking what coding agents are doing across your machines, without storing their activity.

An open-source Dogecoin full node with a built-in browser dashboard, JSON-RPC, and operator documentation.

A humanoid-robot project describes a Jetson-based design with a single networked computer and sealed, wired connections to the rest of the robot.

Luxor Verde presents a licensable 3D depth-sensing system that marks readings it says may be unreliable, aimed at integrators and hardware makers.

A phone-first control panel for managing OpenWrt routers, with controls for OpenClash, connected devices, traffic, and connection monitoring.

Landtest presents an AI-assisted A/B testing platform that connects to a GitHub repository, creates landing-page variants, and tests them on visitor traffic.

A coming-soon filesystem concept that tracks which AI agent wrote each file and promises one-command rollback by agent.

A platform for head-to-head backgammon engine matches, with verifiable dice, statistical results and downloadable match archives.