math-anchor
01MCP server Claude CodeCodexCursor +2
MCP server "math-anchor" as configured in tetracoralla/math-anchor. Launched with runtime/math-anchor-runtime/math-anchor-runtime mcp.
MCP server Claude CodeCodexCursor +2
MCP server "math-anchor" as configured in tetracoralla/math-anchor. Launched with runtime/math-anchor-runtime/math-anchor-runtime mcp.
Skill Codex
Use Math Anchor for reliability-sensitive mathematics. MUST load and use it for fixed-width arithmetic, bit/IEEE-754 facts, and large exact combinatorial counts. Also use it for exact or high-precision work, explicit conventions, verification, calculus, linear algebra, finance, probability, statistics, uncertainty…
MCP server Claude CodeCodexCursor +2
MCP server "iconsvgselect" as configured in tetracoralla/armorial. Runs ./dist/adapters/mcp.js with node.
Skill Codex
Choose and use consistent UI icons while building or revising websites, apps, toolbars, navigation, and controls. Armorial searches English/Chinese IconPark meanings, applies project style, and delivers existing SVG assets or a visual picker.
MCP server Claude CodeCodexCursor +2
MCP server "decisiontable" as configured in tetracoralla/decision-table. Runs ./server/index.mjs with node.
Skill Codex
Use Decision Table for deterministic, versioned judgments and proposed-action checks, including while implementing or debugging permission, eligibility, priority, and other combinations of accepted rules. Evaluate explicit facts, validate a ruleset, or identify missing facts, conflicts, violations, and repair hints…
MCP server Claude CodeCodexCursor +2
MCP server "data-transformer" as configured in tetracoralla/BatchTicket. Runs locally from the . Python package.
Skill Codex
Use for deterministic inspection, reshaping, conversion, validation, or comparison of JSON, JSONL, CSV, TSV, YAML, and Parquet; for adapting one tool's structured output to another tool's input; or when a large payload should be summarized and transformed without model-generated data rewriting.
MCP server Claude CodeCodexCursor +2
MCP server "statemachine" as configured in tetracoralla/state-machine. Runs ./server/index.mjs with node.
Skill Codex
Use Step Switch for concrete state and event reasoning, including while implementing or debugging retries, cancellation, recovery, and other finite-state behavior. Validate or simulate a Machine Spec derived from accepted requirements, decide whether an event is legal, find a path, or compare changed behavior. The…
tetracoralla/deterministic-dependency-engine
MCP server Claude CodeCodexCursor +2
MCP server "dependencyengine" as configured in tetracoralla/deterministic-dependency-engine. Runs ./dist/adapters/mcp.js with node.
tetracoralla/deterministic-dependency-engine
Skill Claude CodeCodex
Resolve prerequisites, ready work, execution order, blockers, change impact, dependency slices, and path explanations with Deterministic Dependency Engine over an explicitly declared graph. Use when a task asks who depends on what or why work is blocked; do not use it to infer undeclared relations or solve…
tetracoralla/context-surface-analyzer
MCP server Claude CodeCodexCursor +2
MCP server "contextsurface" as configured in tetracoralla/context-surface-analyzer. Runs ./src/mcp-server.js with node.
tetracoralla/context-surface-analyzer
Skill Codex
Use Context Surface Analyzer when the user supplies one explicit Agent tool-catalog snapshot to measure or two ordered snapshots to compare, especially for exact catalog bytes, tool and schema counts, name collisions, exact duplicate schemas, declared budget checks, or fully labeled caller-supplied token measurements.…