Skip to content
andrelramosPublic

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Latest commit

 

History

40 Commits

Folders and files

Repository files navigation

HypEvolve

HypEvolve is a research framework that combines genetic algorithms, coding-agent CLIs, and deterministic evaluation to search for software optimizations.

Watch the HypEvolve explainer video

▶ Watch HypEvolve explained in 90 seconds
Also available in Português · Español · 中文 · 日本語

What the name means

HypEvolve combines Hyp (hypothesis) and Evolve (to evolve). The name describes the central idea: explicit, testable code hypotheses evolve through measured generations. The agent proposes a hypothesis, the deterministic harness evaluates it, and the next generation inherits the evidence collected so far.

Phases and objectives

flowchart TD
    F1["01 · Initial ideas and experiments<br/>validate the research hypothesis"]
    F2["02 · Simple comparison<br/>local results × published GSO results"]
    F3["03 · Tooling<br/>reusable MCP and CLI"]
    F4["04 · GSO-faithful infrastructure<br/>more rigorous execution and comparison"]
    F5["05 · Multiple models<br/>compare agents, results, and GSO"]
    F6["06 · Recognized benchmarks<br/>replicate experiments across community benchmarks"]
    F7["07 · Cybersecurity applications<br/>experiment with vulnerability analysis"]
    F8["08 · Paper<br/>document method, data, and observed behavior"]

    F1 --> F2 --> F3 --> F4 --> F5 --> F6 --> F7 --> F8

    classDef done fill:#123c3b,stroke:#6cf0c2,color:#eafcf5
    classDef next fill:#332a1b,stroke:#ffca6b,color:#fff4dc
    classDef future fill:#18253d,stroke:#8ab8ff,color:#eaf2ff
    class F1,F2 done
    class F3 next
    class F4,F5,F6,F7,F8 future
Loading

Phases 1 and 2 have been completed. The next objective is to turn the experiment into MCP/CLI tools that can be used in other projects; afterward, the research advances toward more faithful infrastructure, cross-model comparison, replication across community-recognized benchmarks, cybersecurity applications for vulnerability analysis, and a paper.

Research idea

Each individual is a persistent coding-agent session with its own workspace. HypEvolve compares this evolutionary lineage against an equal-budget sampling control in which independent agents start from pristine code. Correctness gates, repeated benchmarks, statistical significance, and hypothesis tracking keep the search grounded in evidence.

Repository layout

  • hypevolve/: typed Python framework, CLI, FastAPI server, contracts, evaluator, and orchestration loop.
  • experiments/: smoke and real-target configurations.
  • scripts/: experiment runners, analysis, and report generation.
  • docs/: web control-plane documentation, research design, and the multilingual project page.
  • video/: source of the multilingual explainer video; ./video/render.sh renders one MP4 per site language into docs/media/ (requires Google Chrome and ffmpeg).
  • tests/: unit, contract, integration, and smoke tests.

Quick start

uv sync --extra dev
uv run pytest -q
make lint

Run the control plane:

uv run hypevolve serve --host 0.0.0.0 --port 8000

Run an experiment against a project checkout:

uv run hypevolve run \
  --target /path/to/project \
  --test-cmd 'python -m pytest -q' \
  --bench-cmd 'python benchmark.py' \
  --generations 10 \
  --max-hypotheses 40 \
  --harness codex

The CLI stores portable JSON artifacts under results/<session>/. The FastAPI panel reads the same artifacts through its REST API and exposes generations, prompts, agent output, deterministic test output, and editable hypotheses.

For direct use by coding agents, run uv run hypevolve mcp. It exposes the same execution store through dependency-free MCP tools over stdio; see docs/web-control-plane.md for registration and tool usage.

Quality gates

  • Python dependencies are managed with UV and locked in uv.lock.
  • New and modified Python code is fully typed and checked with strict Pyright.
  • icontract expresses preconditions, postconditions, and invariants at state boundaries.
  • CrossHair checks the formal contracts during make lint.
  • Pytest covers the framework and its end-to-end smoke path.

License

HypEvolve is released under the Apache License 2.0. Preserve the copyright and attribution notices in LICENSE and NOTICE when redistributing the project or derivative works.

About

No description, website, or topics provided.

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages