Zero-Trust Verification Fabric for AI-Generated Software.
Checks that your code does what your policy says. Built with IBM Bob 2.0 and the Alloy Analyzer.
Verification layer for autonomous coding agents: an agent must prove a change is safe, with a tamper-evident audit trail, before it gets applied. Built for the IBM Bob 2.0 Hackathon.
AI-powered debugging and testing pipeline built with IBM Bob 2.0. Analyzes bugs, identifies root causes, generates regression tests and fixes, validates results, and streamlines GitHub pull requests.
AI-assisted MRI ChangeGuard for deterministic image-quality assessment, longitudinal study comparison, experimental CNN inference, and auditable release validation, developed with IBM Bob.
AI-powered cross-stack auto-sync tool built with IBM Bob 2.0 — automatically detects and fixes breaking API changes across frontend, tests, and docs.
An AI-powered autonomous debugging pipeline that traces failing tests, identifies root causes, and generates verified code fixes. Built for the IBM Bob 2.0 Hackathon.
⚡ Legacy Code X-Ray — Automated architecture mapping, code smell audit, and stepwise refactoring of legacy codebases powered by IBM Bob 2.0.
Screen-reader tests for AI-written UI: IBM Bob fixes, real NVDA verifies, a gate blocks regressions
Cut LLM costs per PR. Finds every LLM call in a Python repo, proves which can safely run on cheaper models with per-call-site evals, and flags cost increases in every pull request. Built with IBM Bob.
Magento 2 upgrade dependency broker: a Python scanner finds upgrade blockers, and an IBM Bob custom mode plans, applies and verifies the safe fixes
Autonomous Release Gate for Monorepo Drift. Pre-merge AST contract intelligence, dynamic blast-radius DAG, PCI-DSS v4.0.1 compliance, and IBM Granite 3.0 auto-heal shims.
To associate your repository with the ibm-bob-2 topic, visit your repo's landing page and select "manage topics."