$Math & Logic$

Math & Logic

ikra/math-logic

•last deployed

99.39% uptime

Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy...

Performance

Usage

Integrate

Integrate this server via the CLI, MCP SDK, or AI SDK. Smithery handles OAuth, token refresh, and session management for you.

Create API key Manage Connections

1. Install Smithery CLI

2. Create a namespace

3. Use this server

# Add this server
smithery mcp add ikra/math-logic

# List available tools
smithery tool list {connection}

# Call a tool
smithery tool call {connection} {tool_name} '{"key": "value"}'

Overview

Performance

Usage

Integrate

$Math & Logic$

Math & Logic

ikra/math-logic

•last deployed

88/100

99.39% uptime

Solve complex algebraic equations, simplify expressions, and perform calculus operations effortlessly. Verify the validity of propositional logic formulas to ensure sound reasoning and accuracy...

Performance

Tool

Calls

No tool calls recorded.

Total

0

Uptime (30d)99.4%

Latency (30d)108ms p50

Performance

Usage

Top Clients

1

Smithery5

Total5

Daily Sessions

Usage

Integrate

Integrate this server via the CLI, MCP SDK, or AI SDK. Smithery handles OAuth, token refresh, and session management for you.

Create API key Manage Connections

1. Install Smithery CLI

2. Create a namespace

3. Use this server

# Add this server
smithery mcp add ikra/math-logic

# List available tools
smithery tool list {connection}

# Call a tool
smithery tool call {connection} {tool_name} '{"key": "value"}'

88/100

Performance

Tool

Calls

No tool calls recorded.

Total

0

Uptime (30d)99.4%

Latency (30d)108ms p50

Usage

Top Clients

1

Smithery5

Total5