Reasoning & Planning

Where your AI assistant helps you think things through.

Learn as you build. Build with intent. — A multi-platform agentic engineering system for Windsurf, Claude Code, Cursor, OpenCode, Gemini CLI, and Codex: 57 spec-driven workflows, 17 specialist agent personas, integrated learning, and production-grade desi

Plan-governance MCP server for Claude Code, Auggie, Codex, Cursor, Windsurf, and other coding agents

InstantPRD CLI — hand an InstantPRD plan to your AI coding agent: pull the next task, start it, complete it with evidence.

Every tool your AI needs in one self-hosted install: memory, reasoning, git, Docker and more.

Parse, check, prove and translate logic formulas: first-order, modal, description, higher-order.

MCP server for Smartsheet Resource Management (10,000ft API) time tracking and scheduling.

MCP server exposing a USDA-accurate food database with deterministic macro math — no hallucinated nutrition numbers.

A travel planning intelligent agent MCP server with budget calculation, attraction recommendations, and itinerary generation

Long-term memory and context fitting for agents, with no LLM in the loop. Local SQLite.

thinkthinking's mcp server

MCP (Model Control Protocol) 客户端，用于与 MCP 服务器交互

MCP server providing a 'think' tool for structured reasoning, inspired by Anthropic's Claude 'think' tool. Enables agentic LLMs to pause, log thoughts, and improve multi-step tool use.

File-backed MCP server for hierarchical project management (Projects → Epics → Features → Tasks)

SymKit MCP - Symbolic derivation and verification toolkit for AI agents via MCP.

Local-first LLM deployment planner: GPU/VRAM sizing, cost and latency, with provenance

Sequential Thinking MCP

MCP server for AVC course scheduling and registration analysis with web scraping, prerequisite validation, and schedule optimization

Sagrada MCP server: track and verify reasoning state for AI systems via Model Context Protocol

ReasoningBank MCP Server - Memory-augmented reasoning for AI agents