Skip to content
@research-engineering

research-engineering

Open-source infrastructure for agentic software research, proof workflows, harnesses, and experimental engineering systems.

Popular repositories Loading

  1. agentic-proofkit agentic-proofkit Public

    Machine-readable specifications, proof bindings, selective verification, and bounded agent workflows for software repositories.

    Go

  2. agent-operating-standards agent-operating-standards Public

    Agent operating standards for documentation, artifacts, issues, pull requests, and repository workflows.

    JavaScript

  3. ci-coordinator ci-coordinator Public

    Self-hosted CI planning, workflow observation and evidence-bound optimization for GitHub Actions.

    Python

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…