mahmoudimus

Neuronic — Development skill for Claude Code

Development community

Uses beads, souffle, z3 and mcps to give first-order logic powers to your thinking agents.

How to install Neuronic

This entry records only its repository, not the path inside it, so there is no exact command to give. Open mahmoudimus/neuronic and copy the folder into ~/.claude/skills/, or the file into ~/.claude/agents/.

What Neuronic does

Uses beads, souffle, z3 and mcps to give first-order logic powers to your thinking agents.

Alternatives in Development

Mcporter — Call MCPs via TypeScript, masquerading as simple TypeScript API 4.1k ★
Claude Subconscious — Give Claude Code a subconscious 2.9k ★
Agent Instructions — This project uses bd (beads) for issue tracking 1.6k ★

README

Neuron

Neuro-Symbolic Logic Server for coding agents - An MCP (Model Context Protocol) server providing formal verification tools and a truth database. Uses beads, Soufflé, Z3, and MCPs to give first-order logic powers to your thinking agents.

Features

Neuron provides a set of MCP tools that enable coding agents to:

Formal Verification: Execute Z3 theorem prover scripts to prove code equivalence, detect contradictions, and verify logical properties
Truth Database: Store and query proven facts with proof metadata
Datalog Analysis: Run Soufflé Datalog analyses for static analysis and logical reasoning
Agent Orchestration: Dispatch and manage async subagents for parallel work
Hot-Reload: Development-friendly proxy mode with hot-reload capabilities

Installation

Prerequisites

Python 3.10+
Beads (bd CLI) - Issue tracking system for coding agents:
- Install from GitHub releases
- Or build from source: go install github.com/steveyegge/beads/cmd/bd@latest
- Verify installation: bd version
- See Beads documentation for complete setup
Soufflé Datalog Engine (system binary, required for analyze_datalog tool):
- macOS: brew install souffle
- Debian/Ubuntu: apt-get install souffle
- See Soufflé installation guide for other platforms
Claude Code (for MCP integration)

Install Neuron

# Clone the repository
git clone 
cd neuron

# Install in development mode
pip install -e .

# Or install from source
pip install .

Install as MCP Server

Neuron can be registered as an MCP server for Claude Code:

# Direct mode (standard installation)
python src/neuron.py install

# Hot-reload proxy mode (recommended for development)
python src/neuron.py install --proxy

The installation process will: