cd/sources/michielbdejong-auto-discovered· home› sources› Michielbdejong (auto-discovered)
cat /sources/michielbdejong-auto-discovered.feed | wc -l → 5154

Michielbdejong (auto-discovered)

articles 5154 domain github.com → page 143/258 feed RSS
10:06
2026-07-17
github.com
ai-tools

AI can now control Reaper DAW

A new open-source project called Reaper-MCP enables AI to control the Reaper digital audio workstation (DAW) through a suite of tools for tasks like composition, mixing, and editing. The project, host…

09:53
2026-07-17
github.com
artificial-intelligence

AxiomProver at IMO 2026 (perfect score)

AxiomProver, an autonomous multi-agent ensemble theorem prover for Lean 4 developed by Axiom Math, achieved a perfect score of 42/42 at the International Mathematical Olympiad (IMO) 2026 in Shanghai o…

09:06
2026-07-17
github.com
developer-tools

Code from https://www.youtube.com/watch?v=n6TJe_IrxGc

A developer shared a Neovim Lua function that copies a file path and optional line range to the clipboard, along with a Bash script that uses fzf to switch or create tmux sessions based on project dir…

09:01
2026-07-17
github.com
artificial-intelligence

How to Connect Claude to Stock Market Data via MCP

A developer has created a guide for connecting Claude to live stock market data via the Model Context Protocol (MCP). The setup uses a remote MCP server from FinancialData.net, enabling Claude to fetc…

07:17
2026-07-17
github.com
ai-tools

A few thoughts on building a terminal ePub reader with AI

A developer spent months using AI coding agents to port the terminal e-book reader epy from Python to Rust, producing a fully AI-generated project called repy that adds features like inline terminal g…

06:28
2026-07-17
github.com
developer-tools

mcp-windbg reaches 1.0.0 now with kernel debugging

Mcp-windbg reached version 1.0.0, adding kernel debugging support via kd.exe for the first time, with a redesigned tool surface around opaque session IDs and per-call timeouts. The release introduces …

06:14
2026-07-17
github.com
artificial-intelligence

Show HN: OSS Pi Agent for Slack and Linear

Digby, an open-source AI agent for Slack and Linear built on the pi framework, is now available on GitHub. The self-modifying bot deploys to AWS, runs on Claude Sonnet via Bedrock, and can autonomousl…

05:09
2026-07-17
github.com
ai-tools

Lightport – a maintained fork of Portkey AI gateway

Lightport, a maintained fork of Portkey AI Gateway, is a lightweight AI gateway that makes 77 LLM providers OpenAI-compatible by transforming requests and responses, explicitly excluding retries, cach…

02:59
2026-07-17
github.com
artificial-intelligence

Show HN: PocketVeto is a Bluetooth-only AI agent remote control

PocketVeto, a new open-source tool, provides a Bluetooth-only remote control for AI coding agents, allowing users to approve or deny risky tool calls from an Android phone without internet or LAN rout…

02:23
2026-07-17
github.com
artificial-intelligence

UIUC AI Teaching Assistant

University of Illinois Urbana-Champaign researchers have released an open-source AI teaching assistant on HuggingFace that runs 11 separate models in parallel for text/image retrieval, generation, mod…

← prev page 143 / 258 next →