Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

benbrastmckie437

Filosofía y Ética

Skill Logic Research

Research mathematical logic tasks using domain context and codebase exploration. Invoke for logic-language research involving modal logic, Kripke semantics, and related mathematical foundations.

benbrastmckie437

Skill Z3 Research

Research Z3/SMT tasks. Invoke for Z3-language research.

benbrastmckie437

Académico

Skill Formal Research

Coordinate formal reasoning research across logic, math, and physics domains. Invoke for formal-language research requiring cross-domain coordination.

benbrastmckie437

Filosofía y Ética

Skill Math Research

Research mathematical tasks using domain context and codebase exploration. Invoke for math-language research involving algebra, lattice theory, order theory, topology, and category theory.

benbrastmckie437

Académico

Skill Lean Research

Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.

benbrastmckie437

Filosofía y Ética

Skill Formal Research

Coordinate formal reasoning research across logic, math, and physics domains. Invoke for formal-language research requiring cross-domain coordination.

benbrastmckie437

Machine Learning

Skill Lean Research

Research Lean 4 and Mathlib for theorem proving tasks. Invoke for Lean-language research using LeanSearch, Loogle, and lean-lsp tools.

benbrastmckie437

Internos de Frameworks

Stdlib Point At Infinity

Guidelines for handling point-at-infinity in stdlib circuit types. Use when working on serialization, public inputs, or cycle_group/biggroup code.

AztecProtocol434

Testing

Build and run ACIR formal proof tests with SMT verification. Generates ACIR artifacts from noir's ssa_verification tool, then runs each test individually with user-specified time/memory limits, and updates the README results table.

AztecProtocol434

Depuración

Sumcheck

Comprehensive reference for the Sumcheck protocol implementation in barretenberg. Use when working on sumcheck prover/verifier, relations, ZK sumcheck (Libra/row disabling), ECCVM committed sumcheck, flavors, gate separator, partial evaluation, or any code in the sumcheck/ directory and its integrations.

AztecProtocol434

Astronomía y Física

Geometry Trigonometry

Geometry & Trigonometry Suite - Solve geometry problems: calculate area, height from sine, angle in degrees, and increase factor. Use this skill for mathematics tasks involving calculate area calculate height from length and sine calculate phi deg calculate increase factor. Combines 4 tools from 1 SCP server(s).

SpectrAI-Initiative375

Mathematicians Skills | Skills Pool

Mathematicians

Mathematicians

Natural Transformations

Propositional Logic

Operator Theory

First Order Odes

Contour Integrals

Numerical Integration

Residues

Interpolation

Proof Theory

Fields

Rings

Groups

Root Finding

Modular Arithmetic

Sigma Algebras

Math Intuition Builder

Graph Algorithms

Prime Numbers

Skill Math Research

Skill Logic Research

Skill Z3 Research

Skill Formal Research

Skill Math Research

Skill Lean Research

Skill Formal Research

Skill Lean Research

Stdlib Point At Infinity

Acir Formal Proofs

Sumcheck

Geometry Trigonometry