Skip to content
View mnmueller's full-sized avatar

Organizations

@eth-sri

Block or report mnmueller

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

ctx-wire runs your commands, compresses the output with declarative filters, scrubs secrets, and hands your agent a short result. The full log stays on disk for when something actually fails. Cut t…

Go 51 Updated Jun 15, 2026

TypeScript SDK for Claude Code - spawn, stream, and control the CLI programmatically

TypeScript 7 Updated May 6, 2026

Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…

Python 132,547 21,456 Updated Jun 13, 2026
Python 7 Updated Jan 27, 2026

Heavily compressed docker images for SWE Bench Verified

Go 5 1 Updated Oct 1, 2025

Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.

Python 3,147 276 Updated May 31, 2026

We track and analyze the activity and performance of autonomous code agents in the wild

TypeScript 49 4 Updated Dec 5, 2025

[NeurIPS 2024] Evaluation harness for SWT-Bench, a benchmark for evaluating LLM repository-level test-generation

Python 83 19 Updated Apr 28, 2026

Guardrails for secure and robust agent development

Python 427 46 Updated Jan 12, 2026

Qodo-Cover: An AI-Powered Tool for Automated Test Generation and Code Coverage Enhancement! 💻🤖🧪🐞

Python 5,432 521 Updated Apr 5, 2026

The easiest, and fastest way to run AI-generated Python code safely

Python 371 41 Updated Nov 29, 2024

Devika is the first open-source implementation of an Agentic Software Engineer. Initially started as an open-source alternative to Devin.

Python 19,509 2,588 Updated Sep 25, 2025

SWE-bench: Can Language Models Resolve Real-world Github Issues?

Python 5,179 894 Updated Apr 1, 2026

Primary Kite repo — private bits replaced with XXXXXXX

Go 767 173 Updated Dec 1, 2022

Labels and other data for the paper "Are we done with ImageNet?"

201 18 Updated Dec 8, 2021
Python 10 2 Updated Apr 21, 2023
17 Updated Aug 2, 2022

Monotone operator equilibrium networks

Jupyter Notebook 53 6 Updated Jun 22, 2020

VNN Neural Network Verification Competition 2021

Python 36 23 Updated Jul 17, 2021

The Udacity open source self-driving car project

Jupyter Notebook 6,312 2,103 Updated Nov 25, 2021

SRI Group Website

HTML 11 9 Updated Jun 15, 2026