RunLogosRunLogos
Coming Soon
About

Building the right
tools for the AI era

RunLogos is made by miniidea — an independent software studio focused on crafting small, focused, and genuinely useful tools for developers.

miniidea
Make Your Day Smoother

miniidea is an independent software studio founded by a former Alibaba engineer, dedicated to building small but impactful tools for the AI era. We believe the best tools are the ones that stay out of your way — lightweight, focused, and genuinely useful.

CurrentRunLogos AI-native development workbench. The OpenLogos methodology as a desktop app.
OnlineTools.top A collection of online developer utilities.
Upcoming More small, beautiful desktop tools — stay tuned.
miniidealab.com
What we believe
Context over Noise

AI generates bad code when context is missing — not because the model is weak, but because the input is incomplete. RunLogos solves this by building a Spec Chain before a single line of code is written.

Spec before Code

Requirements → Prototype → Scenarios → API → Schema → Tests → Code. Each layer derives from the one before it. By the time AI writes code, every decision has already been made and recorded.

Traceability over Trust

Every requirement traces to a scenario, every scenario to an API, every API to a test, every test to a passing result. You ship with proof — not hope.

Timeline
2026.04
RunLogos 0.1.0 — First Release

The full OpenLogos methodology workbench ships as a native desktop app for Mac and Windows. Requirements, prototype, scenarios, API, schema, tests, code generation, and change proposals — all in one tool.

2025.12
OpenLogos methodology open-sourced

The Why → What → How progression and the Spec Chain concept are documented and published as an open standard. Any team can adopt the methodology with any tooling.

2024
miniidea founded

An independent software studio born from the conviction that developers deserve small, focused, and beautifully crafted tools — especially in the AI era.

Get in touch
Bug Reports

Found a bug or have a feature idea? Open a GitHub Issue. Every piece of feedback is taken seriously.

GitHub Issues
Community

Share tips, best practices, and ideas with other RunLogos users.

GitHub Discussions
Business

Enterprise customization, technical partnerships, media inquiries — reach out directly.

fred@miniidealab.com