César Pereiro

    0followers

    I build correctness-critical software for hospitals (HL7, DICOM, FHIR under EU MDR), where "looks fine" is not evidence. My skills make coding agents prove their work: a failing test for every serious bug, a green test run before "done". Benchmarks, raw data and scores are public: github.com/Ces107/agent-forge. Start with Proven Code Review, free.

    7 skills
    0 downloads
    Joined Oct 2026

    Skills by César Pereiro (7)

    agent forge Pipeline: multi agent builds with hard gates

    by César Pereiro

    $24

    Five Claude Code sub-agents, architect to verifier, whose hand-offs pass gates the orchestrator runs itself: requirements traced to real tests, review findings backed by failing tests, every check by exit code.

    1
    0

    Ledger Correctness Kit: prove money moves exactly once

    by César Pereiro

    $24

    A drop-in property-based and concurrency test suite for payments, wallets and credits. Every race test fails on a ledger with that bug and passes on a correct one.

    1
    0

    Proof of Done: no "done" until the tests really pass

    by César Pereiro

    $15

    A Claude Code Stop hook that won't let your agent end its turn until a real test run passes after its last edit, plus an 11-rule guard against weakened tests.

    1
    0

    Proven Code Review: every serious bug gets a failing test

    by César Pereiro

    Free

    Same bugs found, far less noise: on Claude Haiku it left 5 nits instead of 25 and proved 76% of its real findings with a test it ran (vs 14%).

    1
    0

    Spec Trace Gate: prove every requirement reaches a real test

    by César Pereiro

    Free

    Fails your build when a spec requirement has no task, a task cites a phantom requirement, or a task names a test that does not exist.

    1
    0

    Adversarial Review Gate: every finding needs a failing test

    by César Pereiro

    Free

    A code review that tries to break the change: findings count only with a failing test that reproduces them, ending in GATE: PASS or GATE: FAIL.

    1
    0

    Verify Gate: no "done" without exit codes

    by César Pereiro

    Free

    Makes your agent prove the code works: real tests, coverage, lint, types and security scans, each with its exit code, before it may say "done".

    1
    0