Skip to content
View yagizkaterli's full-sized avatar
😃
building lobi
😃
building lobi
6 followers · 9 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: YOLO

Block or report yagizkaterli

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
yagizkaterli/README.md

Yağız Katerli

I build software and experiments around autonomous agents, formal methods, developer tooling, and visualization.

Claim to evidence to receipt

Evaluation

herakles-eval-lab is the evaluation surface for separating real completion from polished fake completion.

Mathematical Engineering @ Istanbul Technical University · Istanbul

Current repositories

agent-fleet

agent-fleet is an active repository for agent-system experiments and tooling. For current behavior and implementation details, use the repository itself rather than this profile summary.

herakles-harness-os

herakles-harness-os is a public HERAKLES-related repository.

HERAKLES Film Factory

herakles-film-factory contains visualization experiments, scene code, GIF previews, MP4 artifacts, and JSON receipts.

The repository currently contains experimental renders. I am not presenting any of them here as a finished HERAKLES film yet.

LeanPy

LeanPy is ongoing experimental work involving Lean 4 and Python/agent-generated outputs. Claims about what is formally checked belong with the exact source, theorem, and run that support them rather than in a profile headline.

Small public experiments

foundation · frictionless · human-steps · perfect-form · idea-boost · tahmin

Forks and repositories I did not author are intentionally excluded from this page.

Tools I work with

Go · Rust · Lean 4 · Python · TypeScript

Background

I study Mathematical Engineering at Istanbul Technical University. Outside software: jazz drums, mathematics, film, and philosophy.

📫 yagizkaterli@gmail.com · LinkedIn

Popular repositories Loading

  1. omp-herdsman omp-herdsman Public

    Asynchronous OMP subagents and agent fleet orchestration for parallel coding agents with nested delegation in Herdr. Fork/port of pi-herdsman.

    TypeScript 5 1

  2. human-steps human-steps Public

    A Claude Code skill: never bury what you need from the human — surface human-only actions as explicit numbered steps.

    1

  3. frictionless frictionless Public

    Claude Code skill: hand work back to a human without handing back unfinished labour. Solo, 0 stars.

    1

  4. leanpy leanpy Public

    Lean 1

  5. idea-boost idea-boost Public

    Claude Code skill: turn a burst of half-formed ideas into one grounded map (collect, ground, object, steer, bank). Solo, 0 stars.

  6. perfect-form perfect-form Public

    Claude Code skill: stop a long AI session when form breaks, not when energy runs out. Solo, 0 stars.