L2ET Research Instruments

Research instrument library

Browse the domain map, open a category, or scroll through every protected research instrument. Outputs are preliminary research aids, not certification or professional advice.

Choose a research domain

Tool categories

Select a unique domain, open any individual instrument directly from its category card, jump to the section below, or open the dedicated category page.

Browse all 127 instruments ↓

All instruments

127 research instruments across the L2ET research domain map.

127 instruments14 categories

Aerospace and Space Systems

Mission, spacecraft, flight-systems, autonomy and certification evidence tools.

13 instruments

Agentic AI and RAG Security

Agentic workflow, RAG, prompt-injection, permission-boundary and release-gate instruments.

9 instruments

Astrophysics and Cosmology

Observation planning, cosmology sensitivity, exoplanet triage and astrophysical inference tools.

10 instruments

Cybersecurity and DFIR

Threat hunting, telemetry coverage, evidence provenance, incident response and DFIR readiness.

13 instruments

Enterprise Architecture and Digital Trust

Architecture controls, digital-trust evidence, operational resilience and source-quality instruments.

8 instruments

Medical AI

Clinical-AI evidence, validation gates, dataset checks, human factors and safety-hazard instruments.

8 instruments

PQC / Crypto-Agility / CBOM

Post-quantum readiness, crypto exposure, CBOM, HNDL planning and migration evidence tools.

18 instruments

Robotics and Autonomous Systems

Autonomy readiness, robotics safety cases, HRI, ODD scenarios and control-stability tools.

11 instruments

Scientific Computing and Scientific AI

Reproducibility, formal methods, scientific-AI validation, formulas and benchmark-readiness tools.

10 instruments
AI ASSURANCE

AI Assurance

5 instruments.

AI Assurance

AI Control Readiness Review

Checks whether an AI initiative has enough controls, evidence and ownership to proceed toward production.

Best for
AI production readiness memo
Input
8 scored fields · 0 context fields
Output
AI production readiness memo
Method
radar
Maturity
Beta · v1.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
AI Assurance

AI Governance Evidence Mapper

Maps an AI use case to the governance evidence required before approval, release or expansion.

Best for
AI governance evidence dossier
Input
5 scored fields · 2 context fields
Output
AI governance evidence dossier
Method
evidence matrix
Maturity
Beta · v1.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
AI Assurance

AI System Self-Classifier

Walks through intended use, autonomy, affected persons and context to produce a preliminary AI system classification packet.

Best for
AI classification decision tree artifact
Input
6 scored fields · 0 context fields
Output
AI classification decision tree artifact
Method
decision tree
Maturity
Beta · v1.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
AI Assurance

Assurance Radar

Measures eight AI assurance dimensions and produces a maturity radar with evidence gaps and next artifacts.

Best for
AI assurance maturity radar
Input
8 scored fields · 0 context fields
Output
AI assurance maturity radar
Method
radar
Maturity
Beta · v1.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
AI Assurance

Evidence Reactor

Converts AI assurance claims into a Claim to Evidence to Control to Test to Owner review pipeline.

Best for
Governance evidence dossier
Input
4 scored fields · 2 context fields
Output
Governance evidence dossier
Method
evidence matrix
Maturity
Beta · v1.2
Limits
Preliminary output · Human review required · Not certification
open instrument →
AEROSPACE AND SPACE SYSTEMS

Aerospace and Space Systems

13 instruments.

Aerospace and Space Systems

Aerospace Autonomy Assurance Gate

Checks whether autonomous decision logic in aerospace or UAV contexts has evidence for operating envelope, sensor dependency, override and verification.

Best for
Aerospace autonomy assurance gap report
Input
7 scored fields · 1 context fields
Output
Aerospace autonomy assurance gap report
Method
mission envelope
Maturity
Prototype · v1.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Aerospace Mission Risk Envelope

Builds a phase-specific mission-risk envelope with hazards, margins, validation evidence and abort conditions.

Best for
Aerospace mission-risk envelope
Input
7 scored fields · 0 context fields
Output
Aerospace mission-risk envelope
Method
mission envelope
Maturity
Prototype · v1.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Aerospace Mission Risk Gate

Scores early mission risk across TRL, margins, verification, communications, thermal and fault-management evidence.

Best for
Aerospace mission gate note
Input
6 scored fields · 0 context fields
Output
Aerospace mission gate note
Method
mission envelope
Maturity
Research interface · v2.4
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Aerospace Model Credibility & Benchmark Harness

Scores model credibility evidence: verification, validation, uncertainty, sensitivity and benchmark replay.

Best for
Aerospace model credibility harness plan
Input
6 scored fields · 1 context fields
Output
Aerospace model credibility harness plan
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Aerospace Safety Case / Certification Crosswalk Builder

Maps hazards, assurance evidence, verification and operational limitations into a certification-oriented crosswalk.

Best for
Aerospace safety-case crosswalk
Input
6 scored fields · 1 context fields
Output
Aerospace safety-case crosswalk
Method
crosswalk matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Autonomy Trust/Readiness Evidence Planner

Plans autonomy evidence for envelope definition, monitoring, simulation, real-world tests and human override.

Best for
Aerospace autonomy evidence plan
Input
6 scored fields · 1 context fields
Output
Aerospace autonomy evidence plan
Method
mission envelope
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Flight/Space Systems FMEA Builder

Creates an FMEA row set with severity, occurrence, detectability, mitigation and verification notes.

Best for
Flight/space FMEA table
Input
3 scored fields · 6 context fields
Output
Flight/space FMEA table
Method
inventory table
Maturity
Prototype · v1.2
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Fluid Regime Estimator

Calculates Reynolds, Mach and Knudsen indicators to classify continuum, compressibility and flow-regime pressure.

Best for
Fluid-regime calculation note
Input
6 scored fields · 0 context fields
Output
Fluid-regime calculation note
Method
formula workbench
Maturity
Research interface · v2.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Full Spacecraft Link Budget Builder

Extends received-power scouting with bandwidth, noise temperature, required Eb/N0 and link margin.

Best for
Spacecraft link budget with margin
Input
9 scored fields · 0 context fields
Output
Spacecraft link budget with margin
Method
formula workbench
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Orbital Mechanics Lab

Computes first-pass circular orbit velocity, period, escape speed and Hohmann transfer estimates.

Best for
Orbital mechanics calculation note
Input
3 scored fields · 0 context fields
Output
Orbital mechanics calculation note
Method
formula workbench
Maturity
Research interface · v1.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Rocket Equation Planner

Computes ideal delta-v from specific impulse and mass fractions using the Tsiolkovsky rocket equation.

Best for
Rocket equation planning note
Input
4 scored fields · 0 context fields
Output
Rocket equation planning note
Method
formula workbench
Maturity
Research interface · v1.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Space Communications Constraint Mapper

Maps latency, bandwidth, link interruption, autonomy fallback and data criticality into a communications constraint profile.

Best for
Space communications constraint map
Input
7 scored fields · 0 context fields
Output
Space communications constraint map
Method
mission envelope
Maturity
Prototype · v1.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
Aerospace and Space Systems

Spacecraft Link Budget Scout

Estimates free-space path loss and received-power pressure for a simplified spacecraft link.

Best for
Spacecraft link-budget scout note
Input
6 scored fields · 0 context fields
Output
Spacecraft link-budget scout note
Method
formula workbench
Maturity
Research interface · v2.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
AGENTIC AI AND RAG SECURITY

Agentic AI and RAG Security

9 instruments.

Agentic AI and RAG Security

Agentic AI Permission Boundary Designer

Creates an allow/deny permission-boundary architecture for tool-using AI systems.

Best for
Permission-boundary map
Input
5 scored fields · 1 context fields
Output
Permission-boundary map
Method
permission graph
Maturity
Beta · v2.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

Agentic AI Risk/Readiness Safety-Case Engine

Builds separated risk, readiness and confidence safety-case artifacts for tool-using AI agents.

Best for
Agentic AI safety case
Input
6 scored fields · 1 context fields
Output
Agentic AI safety case
Method
permission graph
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

Agentic Workflow Rail

Builds a swimlane control map for user, agent, policy, memory, retrieval, tools, human approval, audit and rollback.

Best for
Agentic workflow control map
Input
5 scored fields · 1 context fields
Output
Agentic workflow control map
Method
swimlane
Maturity
Beta · v1.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

AI Vendor Assurance Questionnaire Builder

Generates buyer or vendor assurance questions for model APIs, copilots, RAG platforms and agentic workflow vendors.

Best for
AI vendor assurance questionnaire
Input
5 scored fields · 0 context fields
Output
AI vendor assurance questionnaire
Method
evidence matrix
Maturity
Beta · v2.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

Frontier Agent Evaluation Runner / Export Contract

Defines executable evaluation tasks, datasets, scorers, logs and JSON export contract for frontier/agentic systems.

Best for
Frontier agent evaluation export contract
Input
6 scored fields · 1 context fields
Output
Frontier agent evaluation export contract
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

Model and RAG Release Gate Checklist

Produces a go/no-go release memo for models, RAG systems, copilots and agentic features.

Best for
Model/RAG release memo
Input
7 scored fields · 0 context fields
Output
Model/RAG release memo
Method
timeline
Maturity
Beta · v2.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

Prompt-Injection Sandbox

Classifies suspicious instruction patterns in test text and maps them to defensive containment recommendations.

Best for
Prompt-injection defensive test case
Input
3 scored fields · 1 context fields
Output
Prompt-injection defensive test case
Method
console lab
Maturity
Released · v2.4
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

Prompt/RAG Adversarial Evaluation Harness

Plans adversarial prompt/RAG test cases, scorers, logs and replay artifacts.

Best for
Prompt/RAG adversarial evaluation harness
Input
6 scored fields · 1 context fields
Output
Prompt/RAG adversarial evaluation harness
Method
console lab
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Agentic AI and RAG Security

RAG Contamination Threat Model

Maps contamination paths from source material through retrieval into model output and downstream action.

Best for
RAG contamination path report
Input
6 scored fields · 0 context fields
Output
RAG contamination path report
Method
pipeline
Maturity
Beta · v2.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
ASTROPHYSICS AND COSMOLOGY

Astrophysics and Cosmology

10 instruments.

Astrophysics and Cosmology

Astrophysical Observation Feasibility and S/N Scout

Screens observation feasibility using target altitude proxy, sky/instrument constraints and S/N target.

Best for
Astrophysical observation feasibility and S/N scout
Input
6 scored fields · 2 context fields
Output
Astrophysical observation feasibility and S/N scout
Method
observation planner
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Astrophysical Observation Planner

Builds an observation-planning matrix from target, band, window, instrument constraints and signal-to-noise needs.

Best for
Astrophysical observation plan
Input
5 scored fields · 2 context fields
Output
Astrophysical observation plan
Method
observation planner
Maturity
Prototype · v2.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Astrophysical Scale Converter

Converts astrophysical distance, redshift, luminosity, mass and time scales into order-of-magnitude notes.

Best for
Astrophysical scale conversion note
Input
5 scored fields · 0 context fields
Output
Astrophysical scale conversion note
Method
formula workbench
Maturity
Research interface · v1.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Astrophysics Inference Risk Map

Maps inference risks from selection effects, calibration, priors, confounders and model assumptions.

Best for
Astrophysical inference risk map
Input
6 scored fields · 0 context fields
Output
Astrophysical inference risk map
Method
heatmap
Maturity
Research interface · v2.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Cosmology Parameter Sensitivity Explorer

Builds a sensitivity table showing how selected cosmological parameters influence an observable under stated uncertainty ranges.

Best for
Cosmology parameter sensitivity table
Input
5 scored fields · 1 context fields
Output
Cosmology parameter sensitivity table
Method
formula workbench
Maturity
Prototype · v2.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Exoplanet Candidate False-Positive Triage Card

Separates detection strength from false-positive pressure: periodicity, noise, stellar activity, blends and follow-up.

Best for
Exoplanet candidate false-positive triage card
Input
7 scored fields · 0 context fields
Output
Exoplanet candidate false-positive triage card
Method
decision tree
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Exoplanet Detection Signal Classifier

Classifies exoplanet detection signal plausibility from method, periodicity, noise, stellar activity and follow-up evidence.

Best for
Exoplanet signal plausibility card
Input
6 scored fields · 0 context fields
Output
Exoplanet signal plausibility card
Method
decision tree
Maturity
Prototype · v3.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

FLRW Cosmology Distance and Sensitivity Workbench

Computes flat-Lambda-CDM distance, age-lookback orientation and local sensitivity to H0 and Omega_m.

Best for
FLRW cosmology distance sensitivity table
Input
5 scored fields · 0 context fields
Output
FLRW cosmology distance sensitivity table
Method
formula workbench
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Scientific AI Reproducibility Dossier Generator

Creates a reproducibility dossier for scientific AI with data, code, environment, benchmark and uncertainty evidence.

Best for
Scientific AI reproducibility dossier
Input
6 scored fields · 1 context fields
Output
Scientific AI reproducibility dossier
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Astrophysics and Cosmology

Survey Selection/Systematics Risk Register

Builds an astrophysics survey systematics register for selection functions, calibration, covariance and photo-z/outlier risks.

Best for
Survey selection and systematics risk register
Input
6 scored fields · 1 context fields
Output
Survey selection and systematics risk register
Method
heatmap
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
CYBERSECURITY AND DFIR

Cybersecurity and DFIR

13 instruments.

Cybersecurity and DFIR

ATT&CK v19 Hunt Coverage Mapper

Maps hunt hypothesis, ATT&CK tactic/technique, telemetry, baseline and falsification evidence.

Best for
ATT&CK v19 hunt coverage map
Input
5 scored fields · 2 context fields
Output
ATT&CK v19 hunt coverage map
Method
crosswalk matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

Cyber Resilience Control Mapper

Maps a disruption scenario to controls, telemetry, recovery evidence and test cadence.

Best for
Cyber resilience control map
Input
6 scored fields · 1 context fields
Output
Cyber resilience control map
Method
evidence matrix
Maturity
Beta · v1.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

Cyber Telemetry Coverage Map

Maps telemetry coverage across identity, endpoint, cloud, network, email, application and data layers.

Best for
Cyber telemetry coverage map
Input
7 scored fields · 0 context fields
Output
Cyber telemetry coverage map
Method
heatmap
Maturity
Research interface · v1.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

Cyber/AI Convergence Risk Mapper

Maps where an AI system changes cyber dependencies, identities, data flows and incident-response paths.

Best for
AI-cyber dependency map
Input
5 scored fields · 1 context fields
Output
AI-cyber dependency map
Method
permission graph
Maturity
Prototype · v1.2
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

DFIR Evidence Map Builder

Builds an evidence source matrix and investigation sequence for a selected incident scenario.

Best for
DFIR evidence timeline and matrix
Input
5 scored fields · 0 context fields
Output
DFIR evidence timeline and matrix
Method
incident timeline
Maturity
Beta · v2.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

DFIR Evidence Provenance and Chain-of-Custody Ledger

Creates an evidence provenance and chain-of-custody checklist for incident artifacts.

Best for
DFIR evidence provenance ledger
Input
6 scored fields · 1 context fields
Output
DFIR evidence provenance ledger
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

DFIR Readiness Benchmark Harness

Plans tabletop, telemetry replay, evidence acquisition and recovery benchmark tests.

Best for
DFIR readiness benchmark plan
Input
6 scored fields · 1 context fields
Output
DFIR readiness benchmark plan
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

DFIR Timeline Consistency Checker

Checks whether incident timestamps, evidence sources and time-zone assumptions are internally consistent.

Best for
DFIR timeline consistency note
Input
2 scored fields · 3 context fields
Output
DFIR timeline consistency note
Method
incident timeline
Maturity
Research interface · v1.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

Forensic Timeline Normalizer and Consistency Engine

Normalizes incident timestamps and flags impossible or undocumented timeline orderings.

Best for
Forensic timeline consistency report
Input
2 scored fields · 3 context fields
Output
Forensic timeline consistency report
Method
incident timeline
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

Incident Blast Radius Estimator

Estimates likely blast-radius pressure from identity scope, lateral movement potential, data reach and dependency concentration.

Best for
Incident blast-radius review note
Input
5 scored fields · 0 context fields
Output
Incident blast-radius review note
Method
heatmap
Maturity
Research interface · v1.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

KEV Exposure Triage Tool

Prioritizes review of a known-exploited vulnerability using user-entered exposure, asset criticality and compensating controls.

Best for
Known-exploited vulnerability review note
Input
6 scored fields · 1 context fields
Output
Known-exploited vulnerability review note
Method
heatmap
Maturity
Beta · v3.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

KEV/EPSS/CVSS/NVD Prioritization Connector

Manual connector-style triage for CVE exposure using KEV, EPSS, CVSS, asset criticality and patchability evidence.

Best for
KEV/EPSS/CVSS prioritization note
Input
6 scored fields · 1 context fields
Output
KEV/EPSS/CVSS prioritization note
Method
heatmap
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Cybersecurity and DFIR

Threat Hunting Hypothesis Builder

Turns a defensive suspicion into a hunt hypothesis with telemetry, expected observations and falsification criteria.

Best for
Threat-hunting hypothesis card
Input
4 scored fields · 1 context fields
Output
Threat-hunting hypothesis card
Method
falsification matrix
Maturity
Research interface · v1.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
ENTERPRISE ARCHITECTURE AND DIGITAL TRUST

Enterprise Architecture and Digital Trust

8 instruments.

Enterprise Architecture and Digital Trust

AI / Agentic Release Gate CI Adapter

Converts release-gate evidence into machine-checkable CI status conditions.

Best for
AI/agentic release gate CI adapter
Input
6 scored fields · 1 context fields
Output
AI/agentic release gate CI adapter
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

AI Evidence Registry and Source-Freshness Monitor

Tracks dated sources, evidence objects, owners, review cadence and staleness for AI governance outputs.

Best for
AI evidence registry freshness monitor
Input
6 scored fields · 1 context fields
Output
AI evidence registry freshness monitor
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

Digital Trust Evidence Modeler

Turns a system trust claim into evidence, controls, owners, audit trail and monitoring requirements.

Best for
Digital trust evidence model
Input
5 scored fields · 3 context fields
Output
Digital trust evidence model
Method
evidence matrix
Maturity
Prototype · v1.2
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

Enterprise Architecture Control Mapper

Maps capabilities, applications, data flows, owners, dependencies and controls into an architecture control map.

Best for
Enterprise architecture control map
Input
4 scored fields · 4 context fields
Output
Enterprise architecture control map
Method
evidence matrix
Maturity
Prototype · v1.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

Operational Resilience Scenario Planner

Creates a scenario plan for a critical service, disruption, dependencies, recovery objectives and test history.

Best for
Operational resilience scenario plan
Input
6 scored fields · 1 context fields
Output
Operational resilience scenario plan
Method
timeline
Maturity
Prototype · v1.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

Source Quality and Signal Triage Engine

Separates source trust, novelty, uncertainty and actionability into distinct evidence axes.

Best for
Source quality and signal triage report
Input
5 scored fields · 1 context fields
Output
Source quality and signal triage report
Method
decision tree
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

Source-Versioned Evidence Knowledge Graph

Maps recommendations to dated sources, controls, artifacts, owners and evidence objects.

Best for
Source-versioned evidence knowledge graph
Input
5 scored fields · 1 context fields
Output
Source-versioned evidence knowledge graph
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Enterprise Architecture and Digital Trust

Static Deployment Integrity Auditor

Crawls static routes, sitemap, redirects, headers and Worker dependencies for release integrity.

Best for
Static deployment integrity audit
Input
6 scored fields · 1 context fields
Output
Static deployment integrity audit
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
FRONTIER AND THEORETICAL PHYSICS

Frontier and Theoretical Physics

9 instruments.

Frontier and Theoretical Physics

Dimensional Analysis Workbench

Checks whether a proposed physical relation has matching dimensions and suggests where exponents are inconsistent.

Best for
Dimensional consistency note
Input
6 scored fields · 0 context fields
Output
Dimensional consistency note
Method
formula workbench
Maturity
Released · v2.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Frontier Claim Stress Tester

Classifies a bold scientific claim by mechanism clarity, evidence type, falsifiability and competing explanations.

Best for
Frontier claim stress-test note
Input
5 scored fields · 1 context fields
Output
Frontier claim stress-test note
Method
falsification matrix
Maturity
Prototype · v2.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Frontier-Physics Falsification Benchmark Suite

Builds falsification benchmarks for frontier physics claims with observables, thresholds, confounders and null tests.

Best for
Frontier physics falsification benchmark suite
Input
5 scored fields · 1 context fields
Output
Frontier physics falsification benchmark suite
Method
falsification matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Physics Instrument Regression Harness

Defines golden cases, dimensional checks and edge-case regression tests for physics/quantum calculators.

Best for
Physics instrument regression harness
Input
5 scored fields · 1 context fields
Output
Physics instrument regression harness
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Scale-Separation Mapper

Identifies relevant physical scale regimes and approximations for a cross-scale research problem.

Best for
Physical scale-separation map
Input
6 scored fields · 0 context fields
Output
Physical scale-separation map
Method
heatmap
Maturity
Prototype · v3.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Scaling Law Explorer

Computes how a quantity changes under a scale factor and exponent uncertainty.

Best for
Scaling-law calculation note
Input
4 scored fields · 0 context fields
Output
Scaling-law calculation note
Method
formula workbench
Maturity
Research interface · v1.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

SI-Dimensional Analysis and Buckingham-Pi Workbench

Extends dimensional analysis beyond M/L/T toward SI-base exponent vectors and Buckingham-Pi readiness.

Best for
SI dimensional algebra and Buckingham-Pi note
Input
7 scored fields · 0 context fields
Output
SI dimensional algebra and Buckingham-Pi note
Method
formula workbench
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Theory Falsification Workbench

Produces falsification, null-test, observable, threshold and confounder artifacts for scientific theory claims.

Best for
Theory falsification workbench
Input
5 scored fields · 1 context fields
Output
Theory falsification workbench
Method
falsification matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Frontier and Theoretical Physics

Theory Hypothesis Falsification Matrix

Creates a falsification matrix linking a frontier-physics hypothesis to observables, thresholds, confounders and next tests.

Best for
Frontier-physics falsification matrix
Input
2 scored fields · 5 context fields
Output
Frontier-physics falsification matrix
Method
falsification matrix
Maturity
Research interface · v2.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
MEDICAL AI

Medical AI

8 instruments.

Medical AI

AI/ML Medical Device Security Hazard Mapper

Maps false-data injection, model, data, identity and monitoring hazards for AI/ML medical systems.

Best for
Medical AI security hazard map
Input
6 scored fields · 1 context fields
Output
Medical AI security hazard map
Method
hazard map
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Clinical AI Calibration & Subgroup Stress-Test Planner

Plans calibration, threshold, subgroup, drift and harm-sensitivity checks for clinical AI.

Best for
Clinical AI calibration and subgroup stress-test plan
Input
6 scored fields · 1 context fields
Output
Clinical AI calibration and subgroup stress-test plan
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Clinical AI Evidence Dossier Builder

Builds a structured intended-use, validation, safety and lifecycle evidence dossier for clinical AI.

Best for
Clinical AI evidence dossier
Input
6 scored fields · 2 context fields
Output
Clinical AI evidence dossier
Method
validation protocol
Maturity
Prototype · v2.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Clinical AI Validation Gate

Maps clinical AI intended use, validation evidence, subgroup performance and workflow controls into a gap report.

Best for
Clinical AI validation gap report
Input
12 scored fields · 4 context fields
Output
Clinical AI validation gap report
Method
validation protocol
Maturity
Prototype · v1.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Generative Clinical AI Evaluation Protocol

Structures evaluation of clinical LLM/VLM outputs, hallucination, citation, safety and user workflow evidence.

Best for
Generative clinical AI evaluation protocol
Input
6 scored fields · 1 context fields
Output
Generative clinical AI evaluation protocol
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Medical AI Dataset & Ground Truth Assessor

Assesses dataset provenance, representativeness, reference standards, adjudication and leakage controls.

Best for
Medical AI dataset and reference-standard assessment
Input
6 scored fields · 1 context fields
Output
Medical AI dataset and reference-standard assessment
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Prediction Model Reproducibility Pack Checker

Checks whether a biomedical prediction model has reproducible code, data, environment and reporting artifacts.

Best for
Prediction model reproducibility pack check
Input
6 scored fields · 1 context fields
Output
Prediction model reproducibility pack check
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Medical AI

Prospective Clinical Workflow & Human Factors Planner

Builds a prospective workflow, user, override and human-factors evaluation plan.

Best for
Prospective clinical workflow and human-factors plan
Input
6 scored fields · 1 context fields
Output
Prospective clinical workflow and human-factors plan
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
OBSERVATORY / SOURCE INTELLIGENCE

Observatory / Source Intelligence

3 instruments.

PQC / CRYPTO-AGILITY / CBOM

PQC / Crypto-Agility / CBOM

18 instruments.

PQC / Crypto-Agility / CBOM

CBOM Builder

Builds a manual cryptographic bill of materials draft with algorithms, operations, owners, evidence and migration candidates.

Best for
CBOM draft
Input
4 scored fields · 5 context fields
Output
CBOM draft
Method
inventory table
Maturity
Beta · v2.4
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Crypto Exposure Mapper

Maps user-entered assets, algorithms, protocols and data lifetimes into a quantum-vulnerable dependency inventory.

Best for
Crypto exposure inventory
Input
5 scored fields · 1 context fields
Output
Crypto exposure inventory
Method
inventory table
Maturity
Beta · v2.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

CycloneDX CBOM Import/Export and Validator

Validates manual CBOM completeness and emits machine-readable crypto inventory fields.

Best for
CycloneDX-style CBOM validation note
Input
3 scored fields · 4 context fields
Output
CycloneDX-style CBOM validation note
Method
inventory table
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Harvest-Now / Decrypt-Later Horizon Estimator

Estimates harvest-now-decrypt-later urgency from confidentiality lifetime, capture feasibility and migration lead time.

Best for
HNDL urgency estimate
Input
6 scored fields · 0 context fields
Output
HNDL urgency estimate
Method
timeline
Maturity
Beta · v2.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

HNDL Risk Model and Planning Horizon Engine

Computes HNDL pressure from data shelf life, migration lead time, capture likelihood and public-key exposure.

Best for
HNDL planning horizon pressure report
Input
6 scored fields · 0 context fields
Output
HNDL planning horizon pressure report
Method
timeline
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Hybrid Protocol Migration Test Harness

Plans protocol interop, downgrade, fallback, performance and certificate-chain tests for hybrid/PQC migration.

Best for
Hybrid protocol migration test harness
Input
5 scored fields · 1 context fields
Output
Hybrid protocol migration test harness
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Post-Quantum Readiness Dashboard

Classifies quantum-safe readiness stage and identifies the first evidence actions for post-quantum transition.

Best for
Post-quantum readiness dashboard
Input
7 scored fields · 0 context fields
Output
Post-quantum readiness dashboard
Method
radar
Maturity
Beta · v2.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

PQC Contract Clause Checklist

Creates PQC-related contract language themes and evidence topics for legal and procurement review.

Best for
PQC contract clause checklist
Input
4 scored fields · 0 context fields
Output
PQC contract clause checklist
Method
evidence matrix
Maturity
Prototype · v1.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

PQC Implementation Evidence Verifier

Checks implementation evidence for algorithm, parameter set, KATs, side-channel notes, hybrid behavior and rollback.

Best for
PQC implementation evidence verifier
Input
5 scored fields · 2 context fields
Output
PQC implementation evidence verifier
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

PQC Readiness Score

Produces a maturity-band view of quantum-safe readiness with an unknown-evidence penalty and confidence level.

Best for
PQC readiness maturity band
Input
9 scored fields · 0 context fields
Output
PQC readiness maturity band
Method
radar
Maturity
Beta · v3.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

PQC Roadmap Generator

Creates a phased post-quantum migration roadmap from inventory, supplier, protocol and governance inputs.

Best for
PQC migration roadmap
Input
6 scored fields · 0 context fields
Output
PQC migration roadmap
Method
timeline
Maturity
Beta · v2.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

PQC TLS Evidence Observatory

Separates TLS session capability, negotiated evidence, certificate-chain readiness and observation gaps.

Best for
PQC TLS evidence observatory note
Input
5 scored fields · 1 context fields
Output
PQC TLS evidence observatory note
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

PQC Vendor Evidence Comparator

Compares vendor evidence for crypto inventory, algorithm agility, hybrid support, testing and contractual commitments.

Best for
PQC vendor evidence matrix
Input
6 scored fields · 2 context fields
Output
PQC vendor evidence matrix
Method
crosswalk matrix
Maturity
Beta · v1.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Protocol Pressure Map

Scores protocol migration pressure from exposure, difficulty, business criticality and data lifetime.

Best for
Protocol pressure heatmap
Input
8 scored fields · 0 context fields
Output
Protocol pressure heatmap
Method
heatmap
Maturity
Beta · v1.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

QKD / PQC Comparator

Distinguishes PQC migration, QKD infrastructure assessment and specialized hybrid scenarios.

Best for
PQC/QKD decision note
Input
4 scored fields · 0 context fields
Output
PQC/QKD decision note
Method
decision tree
Maturity
Research interface · v1.2
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Standards-Aware PQC Algorithm Registry

Classifies algorithms by classical/PQC family, standardization status, operation and migration implication.

Best for
Standards-aware PQC algorithm registry record
Input
2 scored fields · 1 context fields
Output
Standards-aware PQC algorithm registry record
Method
inventory table
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Supplier Evidence Normalizer

Normalizes supplier PQC evidence into inventory, roadmap, testing, contractual and monitoring fields.

Best for
Supplier PQC evidence normalization matrix
Input
6 scored fields · 1 context fields
Output
Supplier PQC evidence normalization matrix
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
PQC / Crypto-Agility / CBOM

Supplier PQC Questionnaire

Generates supplier questions and evidence requests for post-quantum readiness and crypto-agility.

Best for
Supplier PQC questionnaire
Input
4 scored fields · 0 context fields
Output
Supplier PQC questionnaire
Method
evidence matrix
Maturity
Beta · v2.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
QUANTUM PHYSICS AND QUANTUM INFORMATION

Quantum Physics and Quantum Information

7 instruments.

Quantum Physics and Quantum Information

Density-Matrix and Noise-Aware Quantum State Workbench

Scaffolds density-matrix validity, trace, positivity, noise-channel and measurement checks.

Best for
Density-matrix and noise-aware quantum workbench
Input
6 scored fields · 0 context fields
Output
Density-matrix and noise-aware quantum workbench
Method
formula workbench
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Quantum Physics and Quantum Information

QFT Scale Lens

Converts energy, length and time scales in natural-unit style and checks order-of-magnitude consistency.

Best for
QFT scale conversion note
Input
3 scored fields · 0 context fields
Output
QFT scale conversion note
Method
formula workbench
Maturity
Research interface · v2.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Quantum Physics and Quantum Information

Quantum Circuit Resource Estimator

Estimates logical and physical resource pressure from qubits, depth, T-count and error-rate assumptions.

Best for
Quantum circuit resource estimate
Input
7 scored fields · 0 context fields
Output
Quantum circuit resource estimate
Method
formula workbench
Maturity
Prototype · v1.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Quantum Physics and Quantum Information

Quantum Entanglement Inspector

Computes normalization and a concurrence-style indicator for two-qubit pure states.

Best for
Two-qubit entanglement note
Input
8 scored fields · 0 context fields
Output
Two-qubit entanglement note
Method
formula workbench
Maturity
Prototype · v2.4
Limits
Preliminary output · Human review required · Not certification
open instrument →
Quantum Physics and Quantum Information

Quantum Measurement Simulator

Computes measurement probabilities and deterministic expected counts for a chosen basis and trial count.

Best for
Quantum measurement probability report
Input
6 scored fields · 0 context fields
Output
Quantum measurement probability report
Method
formula workbench
Maturity
Prototype · v2.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
Quantum Physics and Quantum Information

Quantum Resource Estimation Gate

Checks whether a quantum-resource estimate includes architecture, QEC, error budget, T-count/factories and physical assumptions.

Best for
Quantum resource estimation evidence gate
Input
7 scored fields · 0 context fields
Output
Quantum resource estimation evidence gate
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Quantum Physics and Quantum Information

Qubit State Inspector

Normalizes a single-qubit state and computes measurement probabilities, Bloch coordinates and density matrix notes.

Best for
Quantum state calculation note
Input
5 scored fields · 0 context fields
Output
Quantum state calculation note
Method
formula workbench
Maturity
Released · v1.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
ROBOTICS AND AUTONOMOUS SYSTEMS

Robotics and Autonomous Systems

11 instruments.

Robotics and Autonomous Systems

Autonomous Mission Readiness Gate

Checks whether an autonomous mission has enough navigation, communication-loss, telemetry and abort-condition evidence.

Best for
Autonomous mission readiness gate
Input
7 scored fields · 1 context fields
Output
Autonomous mission readiness gate
Method
mission envelope
Maturity
Prototype · v2.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Collaborative Robot Separation / Contact Risk Calculator

Screens collaborative robot separation/contact risk using speed, stopping time, separation and contact severity inputs.

Best for
Collaborative robot separation/contact risk note
Input
6 scored fields · 0 context fields
Output
Collaborative robot separation/contact risk note
Method
formula workbench
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Control Stability Analyzer

Estimates second-order overshoot and settling behavior from damping ratio and natural frequency assumptions.

Best for
Control stability calculation note
Input
4 scored fields · 0 context fields
Output
Control stability calculation note
Method
formula workbench
Maturity
Research interface · v2.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Human-Robot Interaction Safety Checklist

Creates a checklist for operator proximity, collaboration mode, emergency stop and feedback channels.

Best for
Human-robot interaction safety checklist
Input
5 scored fields · 1 context fields
Output
Human-robot interaction safety checklist
Method
evidence matrix
Maturity
Prototype · v2.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Robot Perception Failure Mode Analyzer

Builds a perception failure-mode matrix from sensors, environment, occlusion, weather and decision dependency.

Best for
Robot perception failure-mode matrix
Input
6 scored fields · 0 context fields
Output
Robot perception failure-mode matrix
Method
hazard map
Maturity
Prototype · v2.4
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Robotics and Autonomous Systems Hazard Mapper

Creates a robotics autonomy hazard map from operating environment, sensing stack, actuator risk and fail-safe assumptions.

Best for
Robotics autonomy hazard map
Input
7 scored fields · 0 context fields
Output
Robotics autonomy hazard map
Method
hazard map
Maturity
Prototype · v2.3
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Robotics ODD and Scenario Regression Generator

Generates operational design domain and scenario-regression coverage priorities.

Best for
Robotics ODD scenario regression plan
Input
6 scored fields · 1 context fields
Output
Robotics ODD scenario regression plan
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Robotics Safety Case Builder

Builds a robotics hazard, mitigation, verification and residual-risk safety-case scaffold.

Best for
Robotics safety case scaffold
Input
6 scored fields · 1 context fields
Output
Robotics safety case scaffold
Method
hazard map
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Runtime Safety Envelope / Control Barrier Function Sketcher

Sketches runtime safety envelope, monitored state, barrier condition and fallback evidence for autonomous robots.

Best for
Runtime safety envelope sketch
Input
5 scored fields · 2 context fields
Output
Runtime safety envelope sketch
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Sensor Fusion Consistency Checker

Checks whether sensor sources, confidence, time alignment and fallback logic support a reliable fusion claim.

Best for
Sensor fusion consistency checklist
Input
6 scored fields · 0 context fields
Output
Sensor fusion consistency checklist
Method
evidence matrix
Maturity
Research interface · v3.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Robotics and Autonomous Systems

Sensor Fusion Evidence Matrix

Separates sensor-fusion complexity, calibration, time sync, uncertainty and fallback evidence.

Best for
Sensor fusion evidence matrix
Input
6 scored fields · 1 context fields
Output
Sensor fusion evidence matrix
Method
evidence matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
SCIENTIFIC COMPUTING AND SCIENTIFIC AI

Scientific Computing and Scientific AI

10 instruments.

Scientific Computing and Scientific AI

Formal Methods Target Selector and Proof-Obligation Mapper

Maps a system to TLA+/Dafny/Lean/Rocq/SMT-style proof obligations and readiness gaps.

Best for
Formal-methods target and proof-obligation map
Input
5 scored fields · 1 context fields
Output
Formal-methods target and proof-obligation map
Method
crosswalk matrix
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Formal Specification Readiness Checker

Assesses whether a system has enough state, invariants, interfaces and failure modes for formal specification work.

Best for
Formal specification readiness note
Input
6 scored fields · 0 context fields
Output
Formal specification readiness note
Method
validation protocol
Maturity
Research interface · v1.9
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Formula Validation Harness

Creates golden cases, dimensional checks, domain constraints and tolerance tests for formula calculators.

Best for
Formula validation harness
Input
5 scored fields · 1 context fields
Output
Formula validation harness
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Frontier AI Evaluation Planner

Plans capability, safety, robustness and deployment evaluations for frontier or agentic AI systems.

Best for
Frontier AI evaluation plan
Input
6 scored fields · 0 context fields
Output
Frontier AI evaluation plan
Method
validation protocol
Maturity
Prototype · v2.1
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Lean/Mathlib Formalization Readiness Studio

Assesses Lean/mathlib formalization readiness: definitions, dependencies, theorem statement, examples and compile target.

Best for
Lean formalization readiness studio report
Input
5 scored fields · 1 context fields
Output
Lean formalization readiness studio report
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Reproducibility Risk Mapper

Scores whether a study or model result has enough artifacts to be reproduced or independently checked.

Best for
Reproducibility risk map
Input
7 scored fields · 0 context fields
Output
Reproducibility risk map
Method
validation protocol
Maturity
Prototype · v1.5
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Scientific AI Validation Checklist

Builds a validation protocol for scientific AI, simulations, imaging models or analytical workflows.

Best for
Scientific validation protocol
Input
7 scored fields · 1 context fields
Output
Scientific validation protocol
Method
validation protocol
Maturity
Beta · v1.2
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Scientific AI Validation Protocol Generator

Generates scientific-AI validation protocols with baselines, leakage, ablations, uncertainty and external validity.

Best for
Scientific AI validation protocol
Input
6 scored fields · 1 context fields
Output
Scientific AI validation protocol
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Scientific Calculator Golden-Test Harness

Builds golden regression fixtures for scientific calculators across formula, unit and edge-case checks.

Best for
Scientific calculator golden-test harness
Input
5 scored fields · 1 context fields
Output
Scientific calculator golden-test harness
Method
validation protocol
Maturity
Prototype · v1.0
Limits
Preliminary output · Human review required · Not certification
open instrument →
Scientific Computing and Scientific AI

Scientific Reproducibility Scorecard

Creates a reproducibility scorecard for datasets, code, environments, evaluation protocols and reporting completeness.

Best for
Scientific reproducibility scorecard
Input
7 scored fields · 0 context fields
Output
Scientific reproducibility scorecard
Method
radar
Maturity
Research interface · v1.7
Limits
Preliminary output · Human review required · Not certification
open instrument →
STANDARDS CROSSWALK

Standards Crosswalk

3 instruments.