• Home
  • Technology
  • Gaming
  • Entertainment
  • World & Business
  • Science
  • Sports
  • AI
HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
    • HomeTechnologyGamingEntertainmentWorld & BusinessScienceSportsAI
    • Home
    • Technology
    • Gaming
    • Entertainment
    • World & Business
    • Science
    • Sports
    • AI
    AI

    SkySynth's creators announce a plugin for Claude Code and Codex

    The creators say SkySynth is designed to build systems around a user's workload, hardware and requirements, bringing systems specialization to people using coding agents.

    AD
    AB
    CS
    8 Sources, ,

    TLDR

    SkySynth's creators say the tool is available as a plugin for Claude Code and Codex. They describe it as a way to build systems tailored to users' workloads, hardware and requirements, and invite users to bring their own systems problems.

    Combined views

    83.8K

    8 Sources, first seen 19d ago

    458 likes

    Combined views

    83.8K

    8 Sources, first seen 19d ago

    458 likes
    Today's Rank

    —

    Not ranked yet

    Today's Rank

    —

    Not ranked yet

    19d ago
    first seen 19d ago
    26 comments
    301 saves
    139 reposts

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    26 comments
    301 saves
    139 reposts

    Sentiment

    Positive——Negative

    Summary

    Not enough discussion yet.

    No sentiment analysis available yet.

    8 Sources

    @shulynnliuAgents let us build systems for different workloads and requirements. But… can we trust what they build? We release 🌟SkySynth🌟: an engine for synthesizing high-performance, just-in-time (JIT) systems we can trust, by co-evolving formal proofs and tests alongside the code. Results: 💿 KV stores up to 2.3× faster than Redis and FASTER + formally verified stores with 2.9× Claude Code's pass rate 🚏 Model routers up to 48% cheaper than a general router ⚡ Specialized inference engine with 2.2× the throughput of vLLM/SGLang 🧵👇
    @mertcemriWe built SkySynth to put systems specialization in the hands of anyone using a coding agent. Your workload, your hardware, your requirements → a system built around them that you can trust. Available as a plugin for Claude Code and Codex. Install it and bring your own systems problem 👇
    @abeiramiRT @shulynnliu: Agents let us build systems for different workloads and requirements. But… can we trust what they build? We release 🌟SkySy…
    @istoica05AI agents can write code, but can we trust the systems they build? With SkySynth, we co-evolve code with tests and formal proofs to generate specialized, just-in-time infrastructure. The result: formally verified KV stores 2.3× faster than Redis and custom inference engines with 2.2× the throughput of vLLM/SGLang!
    @AlexGDimakisIntroducing SkySynth: Enough with general-purpose systems that support many workloads and hardware configurations. SkySynth can write (on the fly!) an inference engine specific to the model/GPU and workloads you want to serve (eg Qwen3-4B 2.2x faster throughput compared to SGLang and vLLM) and a custom router that is 2x lower cost compared to generally optimized routers. Finally, a router that cares about your personal needs :p
    @CShorten30RT @mertcemri: We built SkySynth to put systems specialization in the hands of anyone using a coding agent. Your workload, your hardware, y…

    8 Sources

    @shulynnliuAgents let us build systems for different workloads and requirements. But… can we trust what they build? We release 🌟SkySynth🌟: an engine for synthesizing high-performance, just-in-time (JIT) systems we can trust, by co-evolving formal proofs and tests alongside the code. Results: 💿 KV stores up to 2.3× faster than Redis and FASTER + formally verified stores with 2.9× Claude Code's pass rate 🚏 Model routers up to 48% cheaper than a general router ⚡ Specialized inference engine with 2.2× the throughput of vLLM/SGLang 🧵👇
    @mertcemriWe built SkySynth to put systems specialization in the hands of anyone using a coding agent. Your workload, your hardware, your requirements → a system built around them that you can trust. Available as a plugin for Claude Code and Codex. Install it and bring your own systems problem 👇
    @abeiramiRT @shulynnliu: Agents let us build systems for different workloads and requirements. But… can we trust what they build? We release 🌟SkySy…
    @istoica05AI agents can write code, but can we trust the systems they build? With SkySynth, we co-evolve code with tests and formal proofs to generate specialized, just-in-time infrastructure. The result: formally verified KV stores 2.3× faster than Redis and custom inference engines with 2.2× the throughput of vLLM/SGLang!
    @AlexGDimakisIntroducing SkySynth: Enough with general-purpose systems that support many workloads and hardware configurations. SkySynth can write (on the fly!) an inference engine specific to the model/GPU and workloads you want to serve (eg Qwen3-4B 2.2x faster throughput compared to SGLang and vLLM) and a custom router that is 2x lower cost compared to generally optimized routers. Finally, a router that cares about your personal needs :p
    @CShorten30RT @mertcemri: We built SkySynth to put systems specialization in the hands of anyone using a coding agent. Your workload, your hardware, y…