Skip to content

anulum/anulum

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 

Repository files navigation

Miroslav Šotek — evidence, computation, control

Website · ORCID · Sponsors · protoscience@anulum.li

Miroslav Šotek

Independent researcher and systems engineer at the Anulum Institute in Switzerland.

I build evidence-governed infrastructure for AI systems and multi-agent engineering: coordination with receipts, reliability guards for model output, and research stacks that reach from mathematics into executable hardware paths.

Claims are only as good as the measurements, artefacts, or verification that back them.

Stack: Python · Rust · Verilog · formal and process tooling where needed.

Start here

If you need… Go to
Parallel coding agents that do not clobber each other Synapse Channel · docs
LLM claim guarding / factual-consistency checks Director-AI · docs
Repository audit and remediation planning Rigor Foundry · docs
Neuromorphic / stochastic computing research SC-NeuroCore · docs
Coupled-oscillator / quantum simulation research SCPN Quantum Control

Project documentation also lives under each repository’s Pages site and on anulum.li.

Lab map

Anulum is a lab stack, not a single product:

Director-AI          reliability of model output
Rigor Foundry        evidence-bound audit and remediation
Synapse Channel      multi-agent coordination, claims, receipts
SC-NeuroCore         neuromorphic / SC compute (Python · Rust · RTL)
SCPN suite           control, plasma, phase, and quantum research paths

Typical stack use

  1. Rigor Foundry — find what is broken, unproven, or unsafe to claim.
  2. Director-AI — guard model output that will be trusted.
  3. Synapse Channel — run multi-agent work with claims, mailboxes, and receipts.
  4. SC-NeuroCore / SCPN — when the problem is neuromorphic, physical, or control-grade compute.

Research, validation, and product readiness are kept separate. Active development is not a readiness claim.

The pinned repositories on this profile match the selected-work table below. Other public repos are either SCPN-family research or supporting tooling.

Selected work

Project Job Maturity
Synapse Channel Local-first control plane for coding-agent fleets: claims, roles, durable mailboxes, receipts, audit, and federation Usable now — functional core, active development
Rigor Foundry Evidence-bound repository auditing and remediation planning Usable now — active hardening
Director-AI Real-time LLM guardrails: NLI + RAG fact-checking with optional claim-level streaming halt Research active — functional system under validation
SC-NeuroCore Polyglot stochastic and neuromorphic framework (Python, Rust SIMD, Verilog, HDC/VSA) Research active — platform under continuous development
SCPN Quantum Control Evidence-governed quantum simulation of coupled-oscillator synchronisation Experimental — preregistered research programme

Related control and fusion research lives in the SCPN suite (control, fusion-core, phase orchestrator, MIF-core).

Maturity labels

Label Meaning
Usable now Installable, documented, CI-backed; still evolving
Research active Real code and ongoing science; not a stability promise
Experimental Exploratory; do not treat interfaces or claims as fixed
Evidence-bound Public claims are tied to measurements or artefacts

Evidence, not slogans

Negative and null results are published when they are real. Public claims stay tied to artefacts: measurements, preregistered protocols, raw packs, or executable verification — not slogans.

Example: preregistered quantum-control protocols and hash-bound result packs in scpn-quantum-control.

Working principles

  • Evidence before claims.
  • Reproducible artefacts before presentation.
  • Clear boundaries between research, validation, and product readiness.
  • Cross-language implementations where performance or hardware integration makes them useful.
  • Honest failure records: negative results are part of the research output.

Collaboration

I welcome technically grounded collaboration in neuromorphic systems, reliable AI infrastructure, scientific computing, formal verification, and control.

A useful first message includes: problem, constraints, relevant prior art, and what evidence would count as success. Prefer email (protoscience@anulum.li) or the contact path on anulum.li.

I respond to technical proposals. I do not take on ungrounded hype work, “demo-only” science theatre, or claims that cannot be checked.

For sustained open work, GitHub Sponsors funds CI runners, quantum and hardware experiment time, and public docs — not marketing.

Transparency: These repositories span research software, developer tools, and product candidates. Active development does not imply production readiness or scientific validation unless a project provides explicit evidence for it.

I AM THAT

Anulum

About

Miroslav Šotek — independent research and systems engineering.

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors