Skip to content
View LemonScripter's full-sized avatar
1 follower · 1 following

Organizations

@CitromMedia

Block or report LemonScripter

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 supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
LemonScripter/README.md

Hi there, I'm László! 👋

Founder & Lead Architect at MetaSpace Technologies

I am a Deep Tech Founder focused on Deterministic Safety Systems for autonomous machines. My work replaces probabilistic AI estimation with formal mathematical verification (Safety-as-a-Service).

🔭 Current Mission: Building the MetaSpace Engine: A proprietary O(1) runtime that guarantees sub-millisecond safety interventions for:

  • 🏭 Industrial CNC (Cyber-Physical Integrity)
  • 🛰️ Aerospace (Single Event Upset resilience)
  • 🚁 UAV Swarms (Physics-based spoofing detection)

🌱 Tech Stack:

  • Core: Embedded C++, Rust, Python (Formal Verification)
  • Hardware: FPGA Synthesis, NVIDIA Jetson, Espressif
  • Verification: Z3 SMT Solver, TLA+

MetaSpace LinkedIn

Pinned Loading

  1. MetaSpace-Drone-Shield MetaSpace-Drone-Shield Public

    A high-integrity formal verification framework for UAV navigation. Detects GPS spoofing via deterministic invariants and SMT-verified logic. Logic-as-Hardware for mission-critical defense.

    HTML 1

  2. metaspace-fdir-public metaspace-fdir-public Public

    Deterministic FDIR (Fault Detection, Isolation & Recovery) engine for satellites. Mitigates Single Event Upsets (SEU) via formal invariant verification. Public validation module.