Skip to content
View patrlean's full-sized avatar
2 followers · 4 following

Block or report patrlean

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
patrlean/README.md

English (selected) 简体中文

Hi, I'm patrlean 👋

🤖 AI Agents | 🧪 Evaluation | 🛠️ Developer Tools

I build AI agents, evaluation tools, and small tools for everyday development.

Python Codex Web

Start Here

  • 🧮 Modeling Workspace — Try the mathematical modeling agent.
  • 🗂️ Idea Flows Site — Lay out work scattered across AI chats; @mention its plugin in ChatGPT to sync progress automatically.
  • 🧭 Idea Flows Hook — Keep enrolled projects in sync from Codex, with context to return to when you switch tasks.

Current Projects

Agents & Developer Tools

  • 🧮 Open Math Model Agent — A local-first workspace from problem intake to code, paper, and verification.
  • 🗂️ Idea Flows Site — An overview of work scattered across AI windows and chats, designed to ease the strain of switching between tasks. Status updates from your conversations, without manual maintenance.
  • 🧭 Idea Flows Hook — Automatically record and sync enrolled projects from Codex, so you can find the progress and next step when you return, with less to keep in your head.

Evaluation & Benchmarks

  • 🔎 MathModel Verifier — Evaluate modeling reports with a fixed rubric, source quotations, and programmatic checks.
  • 🧪 Verifier Benchmark — Inject known defects into reports to test whether evaluators detect them.

Pinned Loading

  1. idea-flows-hook idea-flows-hook Public

    Opt-in Codex hooks for evidence-based project progress tracking, local storage, and dashboard webhooks.

    Python 1

  2. open-math-model-agent open-math-model-agent Public

    An agentic mathematical modeling workspace with verification, LaTeX delivery, and a React dashboard.

    Python 1

  3. mathmodel-verifier mathmodel-verifier Public

    Evidence-grounded verifier for mathematical modeling reports: a fixed 100-point rubric enforced by a Python harness, with every citation verified verbatim against the source.

    Python

  4. math-model-verifier-benchmark math-model-verifier-benchmark Public

    Mutation-testing benchmark for math-modeling paper verifiers: positive and negative samples are the same paper, byte-identical except the injected defect.

    Python

  5. ai-poetry ai-poetry Public

    Python

  6. myTransformer myTransformer Public

    Jupyter Notebook