claude

algo-math-structurer

Formal mathematical analysis of Python algorithms with proofs and LaTeX output.

0 on GitHubby Baptiste Cailleriev0.1.0updated 7 months agoresearch
/

Plugin algo-math-structurer from marketplace research-plugin in Baptistecaille/Research-plugin. Commands read from the repo's manifest — 1 month ago.

What it installs

Skills (1)

  • algorithm-formalization

    Transform Python algorithm code into formal mathematical documents with proofs. Trigger with 'formalise cet algorithme', 'génère les preuves mathématiques', 'transforme ce code en théorèmes', 'algo-math', 'prove this algorithm'.

Slash commands (3)

  • /algo-math-structurer:analyze-complexity

    Analyze time and space complexity of a Python algorithm. Produces Big-O analysis with derivation.

  • /algo-math-structurer:extract-properties

    Extract formal properties from Python algorithm code: preconditions, postconditions, invariants, termination conditions.

  • /algo-math-structurer:generate-proof

    Generate a complete mathematical proof document from Python algorithm code. Produces LaTeX compiled to PDF with definitions, theorems, proofs, and complexity analysis.

View source on GitHub

More from Baptistecaille/Research-plugin

All 3 plugins →

cortical-columns

claude

Research companion for cortical columns thesis: paper discovery, deep analysis, periodic scanning, and literature gap analysis with Obsidian integration.

4 skills · 1 command

0

cortical-columns-research

claude

Research plugin for thesis on algorithm representation of cortical columns. Discovers, analyzes, and organizes academic papers from arXiv and Semantic Scholar into an Obsidian vault.

4 skills · 1 command

0

Similar plugins

example-skills

claude

Collection of example skills demonstrating various capabilities including skill creation, MCP building, visual design, algorithmic art, internal communications, web testing, artifact building, Slack GIFs, and theme styling

19 skills

anthropics/skills 193,780

ruflo-goals

claude

Long-horizon goal planning, deep research orchestration, and adaptive replanning using GOAP

5 skills · 1 command · 4 agents

ruvnet/ruflo 81,589

last30days

claudecodex

Research any topic across Reddit, X, YouTube, TikTok, Instagram, Hacker News, Polymarket, GitHub, and 5+ more sources. AI agent scores by upvotes, likes, and real money - not editors.

1 skill

mvanhorn/last30days-skill 67,453

marketing-skills

claudecodex

53 marketing skills for technical marketers and founders: CRO, copywriting, cold email, prospecting, SEO, AI SEO, paid ads, SMS, ad creative, video production, image generation, co-marketing, churn prevention, pricing, referrals, revenue operations, sales enablement, customer research, site architecture, comprehensive AARRR-structured marketing plans, public relations and earned media, offer design, event marketing and webinars, and more

53 skills

coreyhaines31/marketingskills 59,996

academic-research-skills

claude

5 skills + 35 modes + Material Passport pipeline. Includes v3.6.7 cross-model audit gate and v3.6.8 generator-evaluator contract.

5 skills · 16 commands · 4 agents · hooks

Imbad0202/academic-research-skills 56,698

bigdata-com

claude

Official Bigdata.com plugin providing financial research, analytics, and intelligence tools powered by Bigdata MCP.

24 skills · 1 MCP server

anthropics/claude-plugins-official 47,076

Maintain algo-math-structurer?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins3 plugins