Skip to content
View SalyyS1's full-sized avatar
🎯
Focusing
🎯
Focusing
18 followers · 16 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: YOLO

Highlights

Block or report SalyyS1

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

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

Report abuse
SalyyS1/README.md

Salyyy

Software Engineer · AI & MCP · Systems & MicroVMs · Local-First Developer Tools

AI & MCP · Systems · Applications · Developer tools · Contact

I build focused, verifiable software for real engineering workflows: MCP infrastructure, spectral model tooling, scale-to-zero Linux sandboxes, and local-first desktop utilities.

Selected work

MCP Slim

Zero-dependency MCP stdio proxy and server that trims schema tokens by 48.8%, pins SHA-256 tool schemas, guards resource URIs, and vaults secrets in under 1 ms.

Python · MCP · JSON-RPC · Released · v1.1.0 · Playground

LoRASpectra

Spectral QR-Core SVD & DoRA directional/magnitude auditor, budget-optimal heterogeneous rank allocator, and orthogonal subspace merger for .safetensors LoRAs.

Rust · Safetensors · SVD · Released · v1.1.0 · Web inspector

OmniVM

Scale-to-zero Linux microVM orchestrator on Cloud Hypervisor and KVM with single-flight wake coalescing, LRU paused eviction quotas, and Prometheus/OpenMetrics telemetry.

Go · KVM · Cloud Hypervisor · Released · v0.3.0 · Simulator

SLClean

Windows disk and AI/developer cache utility with headless JSON CLI, WSL2/Docker .vhdx lock protection, and 105 static rules.

Rust · Tauri · Windows · Released · v0.4.0 · Footprint explorer

SLTerm

Workspace-oriented terminal with Tauri 2, multi-agent team orchestration, encrypted secret store, and pastejacking security guards.

Go · TypeScript · Tauri 2 · Released

Foliora

Source-backed context packs with fail-closed bundle verification, indirect prompt-injection scanning, and SHA-256 audit digests.

Rust · Tauri · React · Released · v0.2.0 · Docs
CLI, static analysis & verification suite
  • minecraftkit (v2.6.0 · API explorer): 13-tool MCP server and multi-agent skill toolkit for Paper/Folia 1.20.1..26.3+ server.properties/Netty tuning, item component validation, descriptor auditing, and RPG bytecode lookup.
  • foliascan (v0.6.0 · Browser auditor): JVM bytecode static analyzer for Folia regionized multithreading with Moonrise async chunk generation, block-entity concurrency rules (FS087-FS090), and SARIF v2.1.0 call flows.
  • serverdoctor (v0.4.0 · Web analyzer): 106-rule offline diagnostic auditor for Spark flamegraph hotspots, Netty contention, GC pauses, and Paper 26.3 schemas.
  • pluginscope (v0.3.0 · JAR inspector): Paper 26.3+ api-version, Mojang-mapped bytecode verification, and cross-plugin service/event shading conflict matrix auditor with SARIF v2.1.0 output.
  • glyphsmith (v0.3.0 · Font auditor & solver): Deterministic Minecraft bitmap font solver, multi-pack codepoint collision analyzer, and SARIF v2.1.0 pack auditor.
  • shadersmith (v0.3.0 · GLSL & overlay auditor): Minecraft 1.21.4..26.3 GLSL shader, post-effect graph, and std140 uniform block contract validator and migrator with SARIF v2.1.0 output.
  • packmerge (v0.3.0 · Conflict matrix & merger): Deterministic 1.20.1..26.3 multi-pack resource compiler with select/range_dispatch chaining, overlay merging, and SARIF v2.1.0 diagnostics.
  • packmigrate (v0.3.0 · Browser migrator): Deterministic 1.20..26.3 CustomModelData override and overlay migrator with multi-predicate decision trees and SARIF v2.1.0 diagnostics.
  • mcstage (v0.3.0 · Matrix builder & crash lab): Standalone Paper, Folia, and Purpur real-server integration test runner with MCS001-MCS011 crash-guard diagnostics, JUnit XML, and SARIF v2.1.0 output.

Languages: Rust, Go, Kotlin, Python, TypeScript, Java
Runtime & UI: Tauri 2, KVM / Cloud Hypervisor, React, Svelte, GitHub Actions, MCP

Website · Discord · Facebook · Instagram · Spotify

Popular repositories Loading

  1. minecraftkit minecraftkit Public

    Offline Minecraft RPG & Paper/Folia API Catalog, Stdio MCP Server, and /mc:* Agent Skills for Claude Code, Cursor, Windsurf, and Codex.

    Python 5

  2. DeluxeMenus DeluxeMenus Public

    Forked from HelpChat/DeluxeMenus

    The all in one GUI menu plugin!

    Java 3

  3. foliascan foliascan Public

    Find where a Minecraft plugin jar breaks on Folia. Bytecode scanner CLI, GitHub Action (uses: SalyyS1/foliascan@main), and 100% client-side Browser JAR Scanner.

    Kotlin 3

  4. loraspectra loraspectra Public

    Zero-dependency Rust Spectral SVD auditor, Eckart-Young dynamic rank compressor (-83.8% size at 99.2% energy), and orthogonal subspace merger for .safetensors LoRA adapters.

    Rust 3

  5. discord-bot discord-bot Public

    Discord Bot with Web Dashboard - Moderation, Leveling, Giveaways, Tickets, and more

    TypeScript 2

  6. glyphsmith glyphsmith Public

    Deterministic Minecraft bitmap font glyph solver, lockfile compiler, and resource-pack font auditor CLI.

    Kotlin 2