TypeTheory
Community@TypeThe0ry · 404 Not Found
TypeTheory provides Qt 6 development skills covering QML coding, testing, code review, profiling, CMake project setup, UI design, and documentation generation.
Agent Skills by TypeTheory
Showing 8 vetted skills indexed across 1 GitHub repositories.
TypeThe0ryqt-qml-test
Generates Qt Quick Test cases for QML components using TestCase and SignalSpy.
TypeThe0ryqt-qml-review
Reviews Qt6 QML code using deterministic linting and six parallel deep-analysis agents.
TypeThe0ryqt-cpp-review
Reviews Qt6 C++ code using deterministic linting and six parallel deep-analysis agents.
TypeThe0ryqt-qml-test-run
Builds and runs Qt Quick Test suites and writes structured Markdown reports.
TypeThe0ryqt-qml-profiler
Profiles 2D QML applications with qmlprofiler and analyzes trace hotspots against source code.
TypeThe0ryqt-qml-docs
Generates structured Markdown reference documentation from QML source files.
TypeThe0ryqt-project
Generates and edits Qt 6 CMake projects using modern qt_* commands and QML modules.
TypeThe0ryqt-cpp-docs
Generates structured Markdown reference documentation for Qt and C++ source files.
Frequently Asked Questions About TypeTheory
FAQPage SchemaWhat tasks can I accomplish using TypeTheory's Qt skills?▼
You can write and refactor QML code, generate and run Qt Quick Test cases, review Qt6 QML and C++ code with 47-60+ lint rules, profile QML application performance, generate CMake projects and targets, design or audit Qt UIs, and produce Markdown reference documentation for QML and C++ sources.
Who are TypeTheory's Qt skills designed for?▼
They target Qt 6 developers, QML/UI engineers, and C++ engineers building desktop or embedded MPU/MCU applications. They suit anyone writing Qt Quick interfaces, maintaining Qt/C++ backends, or investigating UI performance issues in 2D QML applications.
How do the test-running and profiling skills execute at runtime?▼
The qt-qml-test-run skill builds and runs qmltestrunner or CTest and writes a Markdown report, requiring shell access and a build environment. The qt-qml-profiler runs qmlprofiler on an executable or parses an existing .qtd trace, then maps hotspots to source code.
What license and cost apply to TypeTheory's skills?▼
All skills are dual-licensed under LicenseRef-Qt-Commercial OR BSD-3-Clause. The BSD-3-Clause option permits free open-source use, modification, and redistribution, while a Qt commercial license path is available for proprietary contexts.
What are the prerequisites and compatibility requirements?▼
Skills target Qt version 6.x and are designed for Claude Code, GitHub Copilot, and similar coding agents. Test execution requires an agent with shell access and a build environment; the profiler does not cover Qt Quick 3D, and documentation skills do not produce QDoc output.