A

ai-reasoning

Domestic Economics is an AI-powered open source specification that makes the labor behind a functioning home measurable by calculating the current market value of household duties, mental labor, caregiving, household production, and other unpaid contributions. https://roxanneardary.com/domestic-economics/

SteadyMission is an open-source AI simulation and mission-alignment platform that helps organizations achieve business objectives without compromising their mission, values, or long-term direction. By combining multi-agent AI reasoning, strategic scenario modeling, and mission-aware constraint systems, SteadyMission evaluates whether proposed strategies remain aligned with organizational principles before real-world execution. https://roxanneardary.com/steadymission/

Sapient Eval is an open-source, AGPL-3.0+ compliant benchmarking framework for evaluating AI models across accuracy, speed, efficiency, and reasoning performance. Built around a modular, spec-driven architecture, it enables users to define industry-specific evaluation standards, run reproducible tests on locally hosted or remote models, and compare results transparently to establish measurable, empirical performance across synthetic intelligence systems. https://roxanneardary.com/sapient-eval/

ThreadGraph is an open-source, AGPL-3.0+ modular agent swarm runtime that transforms complex tasks into executable, graph-structured workflows. It orchestrates multiple specialized agents, tools, and memory systems through a dynamic execution graph, enabling parallel reasoning, structured decomposition, and fully observable workflows. Designed for extensibility and composability, ThreadGraph turns agent-based systems into scalable, reproducible infrastructure rather than linear prompt chains. https://roxanneardary.com/threadgraph/

Saturnet is a modular, AI-driven astronomy intelligence system that transforms the night sky into real-time, interactive knowledge. It identifies stars, planets, satellites, and space stations while providing live AI narration, predictive sky modeling, anomaly detection, and deep time simulation. Built as an extensible AGPL-3.0+ platform, Saturnet combines visualization, multi-agent AI reasoning, and a plugin ecosystem to help users understand and explore everything happening above Earth. https://roxanneardary.com/saturnet/

Project Solstice is a layered reasoning system stack designed to transform computation into structured, verifiable cognition. It combines neural inference, symbolic reasoning, adversarial validation, and autonomous orchestration into a unified architecture that emphasizes traceability, modularity, and correctness. Rather than producing isolated outputs, it builds full reasoning pipelines that can be decomposed, verified, versioned, and improved over time. https://roxanneardary.com/project-solstice/

MindVault is an open modular knowledge infrastructure specification designed as the knowledge layer for autonomous AI systems. It provides a foundation for vector storage, semantic understanding, persistent memory, reasoning preservation, and intelligent retrieval, enabling AI agents and RAG systems to build, manage, and utilize long-term knowledge. https://roxanneardary.com/mindvault/

Beekeeper’s Guide to the Universe is an open-source, AI-assisted ecological intelligence platform designed to help users understand, design, and sustain pollinator ecosystems. It combines bee biology knowledge systems, habitat engineering tools, climate and microclimate modeling, plant and forage planning, predator and disease identification, visual AI diagnosis, spatial mapping, and ecological simulation into a unified system. Users can upload images or environmental data to receive context-aware guidance on hive placement, species care, habitat creation, and ecosystem health. The platform emphasizes long-term ecological balance, explainable AI reasoning, and non-destructive intervention strategies to support sustainable pollinator environments across different regions and climates. https://roxanneardary.com/beekeepers-guide-to-the-universe/

OpenLedger Provenance System is an append-only, event-sourced knowledge infrastructure that records how information evolves over time through verifiable chains of events, evidence, and methods. It is designed for high-trust environments such as scientific research, archaeology, legal systems, and civic data, where every claim must be traceable, reproducible, and transparently linked to its origin and reasoning. https://roxanneardary.com/openledger-provenance-system/

VeritasChain is an open specification for evidence-based causal intelligence that enables AI systems to trace the relationships between decisions, laws, economic changes, technological developments, and historical events. It provides a modular framework for understanding why outcomes occur by connecting verified evidence, long-term timelines, and explainable causal analysis across industries and institutions. https://roxanneardary.com/veritaschain/

Axis Intelligence is an open-source, modular ambient AI platform designed to function as the central intelligence layer of a modern smart home. Built with a local-first approach, it combines real-time voice interaction, AI reasoning, voice cloning, and smart home automation into a unified system that users can fully control, extend, and customize. https://roxanneardary.com/axis-intelligence/

Horizon Runtime is an AGPL-3.0+ universal AI runtime built for adaptive mixed-precision inference, reasoning models, multimodal systems, and distributed AI workloads. Designed to be hardware-agnostic and future-proof, it provides a unified execution platform for open-source AI across local devices, enterprise infrastructure, and large-scale deployments. Built Together for the Future. https://roxanneardary.com/horizon-runtime/

VeriChain is an open-source AI-powered truth verification system that analyzes public information to evaluate claims and produce probabilistic truth scores. It builds structured evidence chains by aggregating, cross-referencing, and graph-linking sources, while providing full transparency through citations, reasoning traces, and uncertainty modeling. Instead of binary fact-checking, VeriChain focuses on explainable, evidence-based likelihood assessments of truth. https://roxanneardary.com/verichain/

Most LLM reasoning benchmarks come from Western math, English logic, or code. Bazi-Bench tests multi-step rule-following inference in a different formal system: traditional Chinese Ba Zi. Frozen tables, Python reference impl, gold CoT cases, all mechanically verifiable.

An interactive React application to explore and visualize Gemini chat conversations with advanced rendering, sidebar navigation, and local JSON file loading. (This is a mirror project)

Logical concept analysis MCP server - break through confused thinking with structured decomposition. Uses Wittgenstein's Tractatus method to show WHAT something is (not HOW to do it) by revealing hidden dependencies and multiplicative requirements that sequential thinking misses.