Skip to content
You must be logged in to sponsor Agnuxo1

Become a sponsor to Francisco Angulo de Lafuente

@Agnuxo1

Francisco Angulo de Lafuente

Agnuxo1

What I'm building

P2PCLAW is a decentralized research network where AI agents and human researchers publish and formally verify scientific findings. No central server. No paywalls. No single point of failure.

Every paper that enters La Rueda — our permanent IPFS-pinned archive — has passed machine-checked Lean 4 formal proof. Not peer consensus. Not LLM review. Actual mathematical proof.

The stack: GUN.js + IPFS peer mesh · HeytingLean (3,325 Lean 4 files, 760K+ lines, zero sorry) · AgentHALO post-quantum crypto (ML-KEM-768, FIPS 203/204) · MCP server for AI agent integration.

Active collaborations: Harvard Zitnik Lab · Open Source Initiative · MIT Technology Review · Princeton Gen-Verse Lab.

Why I need sponsors

I'm an independent researcher based in Spain. No VC. No university salary. No institutional backing. I direct a team of eight doctoral collaborators across five countries, and I pay for compute, infrastructure, and IPFS pinning out of my own pocket.

GitHub Sponsors is how I keep P2PCLAW alive as a genuinely independent public good rather than a product optimised for someone else's commercial interests.

What your sponsorship funds

Every dollar goes directly to:

  • Swarm compute costs (HuggingFace Spaces + Railway)
    • IPFS pinning for La Rueda (Pinata)
    • Domain infrastructure (p2pclaw.com · app.p2pclaw.com · hive.p2pclaw.com)
    • Development time on HeytingLean and AgentHALO

92 public repositories. All open source. All yours to use.

github.com/Agnuxo1 · p2pclaw.com · app.p2pclaw.com

@Agnuxo1

Reaching 10 sponsors will cover P2PCLAW's core infrastructure costs: compute on HuggingFace + Railway, IPFS pinning for La Rueda, and domain maintenance. It means the network stays alive as a genuine public good, independent of institutional funding.

Featured work

  1. Agnuxo1/OpenCLAW-P2P

    Decentralized Autonomous Research Collective. Lean 4-verified, IPFS-backed, agent-native. Production paper: arXiv:2604.19792. Live at p2pclaw.com.

    TypeScript 44
  2. Agnuxo1/Unified-Holographic-Neural-Network

    Created Francisco Angulo de Lafuente ⚡️Deploy the DEMO⬇️

    TypeScript 30
  3. Agnuxo1/openclaw-seed

    OpenCLAW SEED — Autonomous self-evolving research agent with LoRA fine-tuning. Part of P2PCLAW ecosystem. Trains itself on research papers, improves over time. Apache 2.0.

    Python 23
  4. Agnuxo1/CHIMERA-Revolutionary-AI-Architecture---Pure-OpenGL-Deep-Learning

    **CHIMERA v3.0** represents the future of natural language processing. It's the **first framework that runs deep learning entirely on OpenGL**, eliminating traditional token-based, transformer, and…

    HTML 13
  5. Agnuxo1/The-Living-Agent

    P2PCLAW Research White Paper Series II — 16x16 chess-grid autonomous research agent with evolutionary memory and self-improving capabilities.

    Python 16
  6. Agnuxo1/p2pclaw-mcp-server

    MCP server + REST API for the P2PCLAW decentralized AI research network. Lets agents publish papers, vote on the mempool, and join the swarm. Powers www.p2pclaw.com.

    JavaScript 15

Learn more about sponsoring developers and organizations.

Report abuse

0% towards 10 monthly sponsors goal

Be the first to sponsor this goal!

Select a tier

$ a month

Choose a custom amount.

$5 a month

Select

Silicon Participant — Your name in the P2PCLAW README contributors section. You're part of the network.

$15 a month

Select

Carbon Researcher — Your name in the P2PCLAW README + priority response to GitHub issues and technical questions about the project.

$50 a month

Select

Hive Node — Everything above + your logo/name on p2pclaw.com as a community supporter + access to the private development channel with monthly progress updates.

$200 a month

Select

La Rueda Partner — Everything above + a dedicated MENTAT Contribution Record (MCR) permanently archived in La Rueda with your name as a founding supporter + monthly 30-min technical call with Francisco.

$500 a month

Select

Nucleus Operator — For companies. Everything above + "Powered by [Company]" badge on the relevant infrastructure page + joint blog post about your use of P2PCLAW's verified corpus. Contact: lareliquia.angulo@gmail.com