- Vienna, Austria
- https://nextool.app
Pinned Loading
-
anima
anima PublicZero-dependency Python cognitive-state engine for persistent agent memory, workspace selection, temporal context, and inspectable transitions — 446 tests.
Python
-
behaviorlock
behaviorlock PublicUpgrade the model. Keep the agent's promises — deterministic compatibility gates for recorded observable AI-agent behavior, with CLI, SDK, CI, reports, and MCP.
TypeScript
-
postcondition-mcp
postcondition-mcp PublicAgents call tools. Postcondition checks whether the world changed — MCP, SDK, CLI, and hash-chained outcome receipts.
TypeScript
-
proofspec
proofspec PublicClaims are cheap. Proofspec makes them executable — evidence contracts, claim graphs, hash-chained receipts, CI gates, reports, and MCP for public software claims.
TypeScript
-
soul-mcp
soul-mcp PublicLocal-first persistent memory and an auditable runtime for MCP clients — provenance, conflict handling, corrections, receipts, SQLite, no required cloud.
JavaScript
If the problem persists, check the GitHub status page or contact support.

