v1.0.0 · MIT License
Enables MCP clients to read a shared book library from the AI reader’s own position, search full texts, leave margin notes, reply to shared annotations, and review reading status and library overview without moving the human reader’s progress.
v3.60.0 · MIT License
Thea Software is an engineering verification layer for AI agents that binds code changes to explicit validation commands. It bridges conversational models to robust software runtimes, enforcing automated build checks so that code drift and unverified changes are actively rejected.
v0.1.0 · Apache 2.0
Enables AI agents to drive policy evaluation over MCP by starting executions, answering policy questions from case evidence, and reading deterministic outcomes with reasoning traces, while the runtime controls which questions are asked and how answers combine.
v0.6.0 · MIT License
Session-level (not fragment) local memory for AI coding agents: passively captures Claude Code, Codex, ZCode and Qoder conversations into one SQLite store, with provenance-cited retrieval and a human-only right to be forgotten.
— · AGPL 3.0
Run local AI across all your computers. Toskar's MCP server lets Claude, Cursor, and other clients ask your own local models and search your connected knowledge, with nothing leaving your machines.