Sitelet https://github.com/humanfia
Skip to content
@humanfia

humanfia

We build the flow around the agents.
README.md

Pinned Loading

  1. humanize humanize Public

    The agent flow system for token maxxing.

    Python 202 25

  2. flowverse flowverse Public

    The community flow manifest repository.

    2 4

Repositories

Showing 10 of 23 repositories
  • humanize Public

    The agent flow system for token maxxing.

    humanfia/humanize's past year of commit activity
    Python 202 Apache-2.0 25 0 2 Updated Oct 7, 2026
  • .github Public

    Org profile, default community health files and shared workflows for humanfia.

    humanfia/.github's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 7, 2026
  • hma Public

    HMA (Humanize MLE Agents): alternating native coding agents over a shared workspace on MLE-bench — paper experiment code

    humanfia/hma's past year of commit activity
    Python 0 Apache-2.0 0 0 2 Updated Oct 7, 2026
  • humanfia.ai Public

    The Humanfia website: the team, its projects and its results, built with VitePress.

    humanfia/humanfia.ai's past year of commit activity
    Vue 0 Apache-2.0 0 0 0 Updated Oct 7, 2026
  • tech-reports Public
    humanfia/tech-reports's past year of commit activity
    0 Apache-2.0 0 0 0 Updated Oct 6, 2026
  • flowverse Public

    The community flow manifest repository.

    humanfia/flowverse's past year of commit activity
    2 Apache-2.0 4 0 1 Updated Oct 6, 2026
  • flame-chasoid-flows Public

    Flame Chasoid for hmz: the flame chase and its variants (agent cleanup, fixed interrupt, parallel lanes) as subflows of one flow.

    humanfia/flame-chasoid-flows's past year of commit activity
    Python 0 Apache-2.0 0 0 0 Updated Oct 6, 2026
  • hoa Public

    HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible

    humanfia/hoa's past year of commit activity
    Lean 14 Apache-2.0 0 0 0 Updated Oct 6, 2026
  • recursive-lean-prover-flow Public

    Recursive Lean Prover for hmz: recursively plan, prove, compare, review and catalogue Lean theorems.

    humanfia/recursive-lean-prover-flow's past year of commit activity
    Python 0 Apache-2.0 0 0 1 Updated Oct 5, 2026
  • aot-flow Public

    AOT for hmz: the flow that writes a flow - a description in, a loaded, smoke-run and reviewed flow out.

    humanfia/aot-flow's past year of commit activity
    Python 0 Apache-2.0 0 0 2 Updated Oct 5, 2026
View all repositories