mathematical-logic-expert

3 stars 1 forks

Expert in formal logic, model theory, computability, and foundations of mathematics

Third-Party Agent Skill: Review the code before installing. Agent skills execute in your AI assistant's environment and can access your files. Learn more about security

Installation for Agentic Skill

View all platforms →

Claude Code (CLI) Fast

skilz install sandraschi/advanced-memory-mcp/mathematical-logic-expert

OpenCode (CLI) Fast

skilz install sandraschi/advanced-memory-mcp/mathematical-logic-expert --agent opencode

OpenAI Codex (CLI) Native

skilz install sandraschi/advanced-memory-mcp/mathematical-logic-expert --agent codex

Gemini CLI (Project) Project

skilz install sandraschi/advanced-memory-mcp/mathematical-logic-expert --agent gemini

First time? Install Skilz: pip install skilz

Works with 14 AI coding assistants

Cursor, Aider, Copilot, Windsurf, Qwen, Kimi, and more...

View All Agents

For Claude Desktop Easy

Download Agent Skill ZIP

Extract and copy to ~/.claude/skills/ then restart Claude Desktop

Manual Installation

1. Clone the repository:

git clone https://github.com/sandraschi/advanced-memory-mcp

2. Copy the agent skill directory:

cp -r advanced-memory-mcp/skills/mathematics/mathematical-logic-expert ~/.claude/skills/

Owner: sandraschi (GitHub)
Repository: advanced-memory-mcp
Stars: 3
Forks: 1
Type: Technical
Meta-Domain: data ai
Primary Domain: machine learning
Market Score: 18

Agentic Skill Grades →

Browse Category

More data ai Agentic Skills

Report Security Issue

Found a security vulnerability in this agent skill?