Blue Sky's "Portfolio Manager" Lease Management Software is an easy to learn and use SaaS solution for centralized management of lease contracts. By managing your lease contracts and associated maintenance contracts throughout the entire lifecycle you can strengthen the audit process, reduce costs, increase cash flows and mitigate risk with centralized visibility that drives enterprise value. Portfolio Manager provides complete status management for running leasing RFP's, tracking status, notes, documents and next steps for every open project. Flat file data imports allow for efficient data entry. Fully customizable with robust reporting capabilities. The report writer allows every data field to be exported to excel. Pre-built templates are available to feed most ASC842 lease accounting software templates. End of lease term management is automated with custom parameters and automatic notifications to ensure you never miss an end of lease term notification. Custom Programming available.
Learn more
Most AI video tools hand you a black box: closed weights, a subscription, and no way to see what is happening under the hood. LTX takes the opposite approach. Built by Lightricks, LTX is an open foundation model that generates and simulates across video, audio, and the physical world, and it puts the weights, the code, and the control in your hands.
At the center of the model is LTX-2.5, a 22B-parameter dual-stream diffusion transformer that produces native 4K video at up to 50 frames per second, with audio and video generated together in a single pass rather than stitched together afterward. Artificial Analysis, an independent benchmarking group, currently ranks LTX among the top three AI video models in the world.
You choose how you want to use it. Download the open weights and run LTX-2.5 on your own hardware. License the model for on-premise deployment backed by enterprise support. Or build directly on LTX Studio, the production suite that turns the model into a full creative workflow. Companies like ElevenLabs, Asteria Film Co., Magnopus, and NVIDIA already rely on LTX for their own work.
LTX is not built for one-off social clips. It is infrastructure for teams that generate motion, audio, and physical environments as part of their own products and pipelines.
Learn more
Muse Spark 1.2
Muse Spark 1.2 is Meta’s newest coding-focused model, released alongside Muse Code as part of Meta’s AI developer platform. The model improves on Muse Spark 1.1 with stronger code generation, complex debugging, codebase understanding, and full developer workflow performance. Muse Spark 1.2 powers Muse Code, a terminal coding agent that can plan changes, write code, validate results, and coordinate persistent background subagents. The model was co-trained with Muse Code so it performs well inside the agentic coding runtime and tool environment. Its training included scaled coding compute, broader training environment diversity, rejection-sampled harness trajectories, recipe optimizations, and Muse Code toolset integration. Muse Spark 1.2 is designed for long-horizon coding tasks such as whole-repository generation, large end-to-end projects, auto-research, and extended optimization work. It uses planning to sequence work, goal conditioning to stay aligned with the user’s objective, and context compaction to preserve useful knowledge over long sessions. The model also benefits from a self-improvement loop where Muse Spark 1.1 generated challenging coding environments and instruction-following templates for training. By combining coding specialization, agentic workflow support, long-horizon training, subagent compatibility, and Meta Model API availability, Muse Spark 1.2 helps developers build, debug, and optimize software more effectively.
Learn more
Kimi K3
Kimi K3 is a large-scale AI model from Moonshot AI designed for advanced reasoning, software engineering, visual understanding, agentic workflows, and knowledge work. The model is built with 2.8 trillion parameters and uses Kimi Delta Attention, a hybrid linear attention design created to support long-context intelligence. It also includes Attention Residuals and a native 1 million token context window, giving developers room to work with large files, repositories, documentation sets, transcripts, and enterprise knowledge bases. Kimi K3 always runs with thinking mode enabled and currently supports maximum reasoning effort by default. Developers can access the model through Moonshot’s OpenAI-compatible API using Python, cURL, and the OpenAI SDK. The API supports standard chat completions, streaming output, structured JSON Schema responses, partial continuation from a prefix, custom tool calling, required tool choice, and dynamic tool loading. Kimi K3 also supports vision inputs, including local images encoded as base64 and video files uploaded through the file API. Automatic context caching helps repeated long-prefix workflows become more efficient without requiring manual cache IDs or extra cache parameters. By combining long context, visual understanding, tool use, structured output, and advanced reasoning, Kimi K3 is built for developers creating sophisticated AI agents, coding systems, research tools, and enterprise applications.
Learn more
