Skip to content
View miguel-herrero-systems's full-sized avatar
🏠
Working from home
🏠
Working from home

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report miguel-herrero-systems

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.

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
miguel-herrero-systems/README.md

Miguel Herrero

Independent systems researcher and builder based in Seville, Spain.

I build infrastructure for verifiable and resumable AI workflows. My current project is HREVN, a public-alpha integrity layer for signed checkpoints, structured evidence, and audit-ready workflow continuity.

Focus

  • durable and resumable workflow state
  • tamper-evident evidence and provenance
  • reconciliation across software and operational boundaries
  • MCP and agent-tool integration
  • explicit separation between executed evidence, source analysis, and architectural inference

Selected public work

  • hrevn-workflow — local-first Python SDK for checkpoints, resume, artifact hashing, and workflow manifests
  • hrevn-mcp-server — thin MCP surface for the managed HREVN runtime
  • rwa-collateral-reconciliation — experimental reference model for condition-evidence provenance, versioned valuation attestations, and reconciliation with on-chain collateral state

Current research

I am studying the continuity and reconciliation problems that appear when a working proof of concept must become an operational system: durable state, retries, finality, external ledgers, evidence provenance, and recovery after partial execution.

Contact

Public repositories are labeled according to their maturity. Experimental work is kept private until it has a reproducible public path.

Pinned Loading

  1. HREVN-AgentProof HREVN-AgentProof Public

    Cryptographically verifiable receipts for Codex agent sessions.

    Python

  2. hrevn-aer-verifier hrevn-aer-verifier Public

    Verify, inspect and summarize HREVN™ AER bundles. Structured, verifiable evidence for AI agents.

    Python

  3. hrevn-mcp-server hrevn-mcp-server Public archive

    Thin HREVN MCP server exposing baseline diagnostics, bundle tools, and audit-ready workflow integrity through the live managed runtime.

    Python

  4. hrevn-surface-codex hrevn-surface-codex Public archive

    Codex plugin bundle for HREVN: skills-first surface for resumable workflows, tamper-evident receipts, and audit-ready agent traceability.

    Python

  5. hrevn-workflow hrevn-workflow Public archive

    Experimental local-first Python SDK for AI workflow checkpoints, resume behavior, hashed manifests, and local integrity checks.

    Python