Skip to content
Ayobami Haastrup

Senior Software Engineer

I build reliable software, AI agents and automation.

Focused on agents you can verify, automation that holds up under failure, and the web products around them.

View my workGet in touch

01 — About

Software that can show its work.

I'm Ayobami Haastrup, a senior software engineer working on AI agents, automation, verification and web development.

My recent work centres on one question: how do you know an automated system did what it says it did? That shapes everything from read-only evidence tools to durable, retry-safe publishing pipelines.

02 — Selected work

Selected work

  1. 01

    OpsTruth

    A read-only MCP server that checks public GitHub execution evidence.

    Lets agents and people verify what actually ran — from public workflow evidence — without write access to anything.

    • MCP
    • GitHub
    • Verification

  2. 02

    AgentProof

    Evidence-backed recovery and signed receipts for agent work.

    When an agent action fails or is disputed, recovery is grounded in recorded evidence, and completed work produces a signed receipt.

    • AI agents
    • Receipts
    • Recovery

  3. 03

    Post-Once

    Durable publishing automation.

    Publishing that survives retries and failures, so a post goes out once — not zero times, not twice.

    • Automation
    • Idempotency
    • Publishing

More projects and source on GitHub.

03 — Open source

Open source contributions

82 upstream contributions · 25 merged · 33 open · 4 drafts · 20 closed without merge. Verified live archive.

View all 25 merged upstream PRs →View 33 open PRs →Browse complete upstream archive →Explore own-project engineering →

04 — Writing

Writing

AI Work Accountability

aiworkaccountability.com

05 — Contact

Let's work together.

Open to conversations with clients, teams and collaborators. The best way to reach me right now is through GitHub.

github.com/AyobamiH