A simple CLI tool for vetting npm package versions

Simple Automated CI/CD Pipeline for GitHub and GitLab Projects

Configurations for GitHub post-deployment testing with Assertible via CI

Continuous Integration system that automatically diagnoses, patches, and validates code issues using AI-powered analysis and formal verification.

Formal specification system that automatically analyzes code changes and generates comprehensive formal specifications using advanced LLM techniques and Lean4 theorem proving.

CI infrastructure (Jenkins + Gerrit) based on docker containers

Yet another maker based on modern powershell (aka pwsh in Linux world) and yaml configurations.

SpecCursor is a GitHub App that autonomously upgrades dependencies, patches regressions using AI, and proves invariants using Lean 4.20. It provides a complete solution for maintaining software dependencies with confidence through formal verification.

some usefull code for automation ci testing

⛵️ High-performance Rust orchestrator for Claude Code agents. Runs concurrent agents in git-isolated branches with retry loops, priority queuing, SQLite memory, pattern mining, scheduled tasks, and live TUI + web dashboard. Remote control via Telegram.

Governed control plane for organization-level CI repair automation

Deterministic end-to-end demonstration target for governed CI failure repair

Detect flaky CI failures in GitHub Actions — no setup, no config file, one step.

Hardened worker runtime for bounded, auditable CI failure repair