Skip to content

@YonedaAI YonedaAI

All

    Repositories list

    29 repositories

    • agent-algebra

      Public
      An Algebra of Agents: five papers and a synthesis proving compositional laws for agents as effectful Mealy coalgebras, with a TypeScript reference layer and a m…
      HTML
      •
      Other
      •0•0•0•0•Updated Sep 4, 2026Sep 4, 2026

    • claude-skills

      Public
      Claude Code plugins and skills marketplace — research-agent pipeline with multi-agent orchestration, Gemini peer review, Haskell verification, and Vercel deploy…
      0•0•0•0•Updated Sep 2, 2026Sep 2, 2026

    • agentic-engineering

      Public
      A five-part research series arguing that software engineering is being redefined as agentic engineering through specifications, contracts, orchestration, and ve…
      latexresearchverification
      latexresearchverificationsoftware-engineeringarxivmulti-agent-systemsautonomous-agentsai-agentsagentic-engineering
      HTML
      •0•0•0•0•Updated Sep 2, 2026Sep 2, 2026

    • agent-engineering

      Public
      Agentic Engineering: a five-paper series showing how memory, skills, protocols and the harness of an AI agent interpret the ArchAgents Architecture triple (G, K…
      HTML
      •0•0•0•0•Updated Sep 2, 2026Sep 2, 2026

    • foundations-of-agentic-economics

      Public
      Foundations of Agentic Economics — five peer-reviewed papers: money as obligation, agentic production, post-income taxation, the agentic clearing protocol, and …
      TeX
      •0•0•0•0•Updated Aug 12, 2026Aug 12, 2026

    • gravity-and-information-geometry

      Public
      Eight-paper research program on when Einstein gravity is the leading infrared consistency law of reconstructed quantum information geometry, with Lean, Haskell,…
      HTML
      •0•0•0•0•Updated Aug 3, 2026Aug 3, 2026

    • hott-riemann-hypothesis-vol6

      Public
      A Lean 4 reduction of the Riemann Hypothesis via Yoneda detection and Hardy model spaces. Volume VI.
      TeX
      •0•0•0•0•Updated Jul 27, 2026Jul 27, 2026

    • foundational-reformulation

      Public
      A categorical-condensed reconstruction program for geometry, quantum theory, and kinetic theory
      TeX
      •0•0•0•0•Updated Jul 24, 2026Jul 24, 2026

    • joule-standard

      Public
      A ten-paper research program and open reference implementation for measuring economically realized work, intelligence, and settlement assurance per joule.
      HTML
      •0•0•0•0•Updated Jul 24, 2026Jul 24, 2026

    • topological-phases-of-matter

      Public
      Six-paper research program: topological phases of matter in a condensed-mathematics paradigm — condensed moduli stacks of Hamiltonians, uniform spectral gaps, s…
      HTML
      •0•0•0•0•Updated Jul 15, 2026Jul 15, 2026

    • topological-phases-of-matter-chatgpt

      Public
      Six-paper research program on topological phases in condensed mathematics, with reviewed PDFs, Haskell checks, Lean interfaces, and a static research site.
      haskellmathematical-physicstopological-phases
      haskellmathematical-physicstopological-phaseslean4condensed-mathematicsquantum-matter
      TeX
      •
      MIT License
      •0•0•0•0•Updated Jul 15, 2026Jul 15, 2026

    • condensed-representation-theory-of-physics

      Public
      Toward a Condensed Representation Theory of Physics — a modular 7-part series on condensed mathematics, representation theory, and emergent spacetime (LaTeX + H…
      TeX
      •0•0•0•0•Updated Jul 8, 2026Jul 8, 2026

    • math-qg-representation-library

      Public
      Quantum gravity as reconstruction from invariant representation structures — 12 regime papers + synthesis, with Haskell + Lean verification
      TeX
      •0•0•0•0•Updated Jul 7, 2026Jul 7, 2026

    • mathematics-physical-representation

      Public
      A modular research library reading a Goncharov-style Lie coalgebra as the decomposition law of physical observables: five peer-reviewed, formally-verified (Hask…
      HTML
      •0•0•0•0•Updated Jul 6, 2026Jul 6, 2026

    • math-phy-library

      Public
      A Math->Physics Representation Library: six formally-verified papers + a modular synthesis (LaTeX, Haskell/Lean verification, agy+Codex review, Next.js site).
      TeX
      •0•0•0•0•Updated Jul 5, 2026Jul 5, 2026

    • hott-riemann-hypothesis-vol5

      Public
      Using homotopy type theory and condensed mathematics to attack the Riemann Hypothesis with machine-checked formal proof. Final volume of a five-part programme. …
      TeX
      •0•0•0•0•Updated May 7, 2026May 7, 2026

    • hott-riemann-hypothesis-vol4

      Public
      Volume IV — From formulation to formal proof: actually proving the OQ1, OQ3, OQ5 theorems via Lean 4 + Cubical Agda + rzk + Haskell. 62 valid / 0 invalid / 29 i…
      TeX
      •0•0•0•0•Updated May 6, 2026May 6, 2026

    • hott-foundations-mathematics

      Public
      HoTT Foundations of Mathematics, Volume II — six open problems unified toward ζ(s)=0 as a HoTT-native statement. 7 papers + synthesis (176pp), Haskell verificat…
      HTML
      •0•0•0•0•Updated May 5, 2026May 5, 2026

    • univalent-correspondence

      Public
      The Univalent Correspondence: six perspectives on what a number is, identified up to equivalence (7-paper series + Haskell + website)
      HTML
      •0•0•0•0•Updated May 5, 2026May 5, 2026

    • theology-faith-and-perfectionism

      Public
      Theology, Faith, and Perfectionism — a four-paper Christian inquiry into how expectations, perfectionism, and pride become enemies of grace, and how faith and g…
      HTML
      •0•0•0•0•Updated May 4, 2026May 4, 2026

    • ferrous-bridge

      Public
      AI-driven C → Rust translation toolchain. 4 research papers + agent orchestration pipeline. Proven on libyaml; targeting libexpat next.
      HTML
      •0•0•0•0•Updated Apr 29, 2026Apr 29, 2026

    • hott-hallucination-research

      Public
      Hallucination–Homotopy Correspondence: A complete HoTT framework for AI hallucination detection and prevention. 3 papers, verified Haskell, live website.
      TeX
      •0•0•0•0•Updated Apr 14, 2026Apr 14, 2026

    • standard-model

      Public
      Standard Model research: modular physics framework for matter, anti-matter, and gauge unification
      TeX
      •0•0•0•0•Updated Apr 14, 2026Apr 14, 2026

    • japl

      Public
      A typed actor language for building reliable distributed systems and AI agents. Compiles to WASM, runs on a Rust runtime with real processes, supervision, and L…
      programming-languagerusttypescript
      programming-languagerusttypescripterlangcompilerfunctional-programmingactor-modeltype-theorycategory-theory
      TeX
      •0•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • dna-lang

      Public
      DNA-Lang: A typed programming language for biological systems. 8 research papers + Haskell implementations mapping DNA sequence categories to programming langua…
      HTML
      •0•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • japl-lang.dev

      Public
      JAPL language documentation site — japl-lang.dev
      MDX
      •0•0•0•0•Updated Mar 31, 2026Mar 31, 2026

    • PosTree

      Public
      Generate social media posts from source content, publish to 33+ platforms via Postiz
      cliautomationsocial-media
      cliautomationsocial-mediatypescripttwitter-apischedulingpublishinglinkedin-apimastodon-apibluesky
      TypeScript
      •0•0•0•0•Updated Mar 28, 2026Mar 28, 2026

    • yoneda-constraint

      Public
      The Yoneda Constraint as a universal axiom: unifying Godel, the measurement problem, compiler bootstrap, and AI alignment under one categorical principle.
      category-theorymathematical-logicphilosophy-of-science
      category-theorymathematical-logicphilosophy-of-sciencegodelai-alignmentincompletenessyoneda-lemma
      TeX
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026

    • minimal-runtime-axiom

      Public
      The Minimal Runtime Axiom: Runtime is proof of ignorance. A type-theoretic and category-theoretic formalization.
      runtimetype-theorycategory-theory
      runtimetype-theorycategory-theoryprogramming-languagesformal-methodscompile-time
      TeX
      •0•0•0•0•Updated Mar 26, 2026Mar 26, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.