Tools & infrastructure

Tools in service of research.

Tools are evidence-bearing instruments of the research programmes. Current work is shown plainly; roadmap items identify where additional support can accelerate development.

Roadmap · Pillar 01 / Systems

Secure execution evidence

Hardware attestation, runtime enforcement, proof-carrying execution and safety-critical authority boundaries.

Fund development
Research programme · Pillar 02 / Foundations

Authenticated state & proof systems

Research into authenticated-state algorithms, zero-knowledge proofs, theorem proving and machine-checked correctness.

Roadmap · Pillar 03 / Evaluation

Reproducible evaluation

Closed-loop experiments, cross-simulator comparisons, benchmark integrity and failure analysis.

Fund development
Research programme · Pillar 04 / Embodied

Embodied systems

Research on learned manipulation skills, policy robustness and safety-aware control.

Roadmap funding

Help move a research tool from method to instrument.

Roadmap tools are proposed development priorities, not completed products. Support helps fund open methods, implementations, benchmarks and documentation that can be inspected and reused by researchers and practitioners.

Research infrastructure / provenance note

URDF Studio

URDF Studio is pre-existing simulation and model tooling relevant to embodied intelligence and evaluation science. It is listed here as research context, not as a MaatInstitute pillar. Ownership and institutional relationship remain unresolved.