sickn33/antigravity-awesome-skills/matematico-tao

Claude Code and agent skill by sickn33/antigravity-awesome-skills

Trust tier 2
  • community
LLM review pending
Source check pending

Checking that the SKILL.md file is still in the repository.

Analyze code complexity, dependency graphs, concurrency and invariants using explicit mathematical assumptions. Use for algorithm or architecture reviews; bundled Kotlin scanners produce advisory estimates, not formal proofs.

Install

npx vskill@latest install sickn33/antigravity-awesome-skills/matematico-tao

SKILL.md

Mathematical Code and Architecture Review

Detailed Guide

Read the detailed guide before executing this skill. It retains the complete procedure and reference material. Treat its safety, prerequisites, and validation requirements as mandatory. For focused work, load the relevant sections; for end-to-end work, read the guide completely.

When to Use This Skill

  • Analyze a concrete algorithm’s time/space complexity and boundary cases.
  • Review dependency cycles, state transitions, concurrent access or stated invariants.
  • Use mathematical models to test a specific code hypothesis with explicit assumptions.

Do Not Use This Skill When

  • The task is unrelated to matematico tao
  • A simpler, more specific tool can handle the request
  • The user needs general-purpose assistance without domain expertise

Limitations

  • Use this skill only when the task clearly matches the scope described above.
  • Do not treat the output as a substitute for environment-specific validation, testing, or expert review.
  • Stop and ask for clarification if required inputs, permissions, safety boundaries, or success criteria are missing.

Example

Review a local Kotlin pipeline for cancellation leaks. Map the actual states and resource owners, build a synthetic failing schedule, and distinguish measured evidence from assumptions before proposing a fix.

Tool and evidence boundary

The scripts read authorized local Kotlin files and optionally write reports inside the workspace; they never prove complete code coverage or execute target source. Use an isolated output path and preserve existing files. Regex scores and Auri-specific package mappings are advisory. Do not infer authorization to access the original author’s filesystem, publish reports, modify source or run network operations. No claim of endorsement, credentials or equivalence to any named mathematician is made.

Security

  • Security scanPassed, 100 of 100Pattern checks on the skill's files.
  • Model reviewNot runA model review is scheduled for the next rescan.

Quality evaluation

  • Task evaluationNot runNo evaluation yet. Run one in Skill Studio.

Source

Popularity

Repository stars
26,515
Repository forks
4,520
Repository npm downloads, 7 days
6,478
7-day trend score
72

Stars and forks are for the whole GitHub repository, not this skill alone. Downloads are for the repository's npm package. Refreshed 22 Mar 2026, 7 months ago.

Works with

Any agent vskill installs to: 56 targets in all. These 39 have a page on this site.

  • Claude Code
  • Cursor
  • GitHub Copilot
  • Windsurf
  • Codex
  • Gemini CLI
  • Cline
  • Amp
  • Roo Code
  • Goose
  • Continue
  • Kilo Code
  • Junie
  • Trae
  • OpenHands
  • Qwen Code
  • AI Agent
  • Tabnine Chat
  • Sourcegraph Cody
  • Amazon Q
  • Firebase Genkit
  • Sweep
  • Devin
  • Phind
  • Mentat
  • Claude Desktop
  • Aider
  • GPT Pilot
  • Plandex
  • bolt.new
  • v0
  • Replit Agent
  • Anse
  • TypingMind
  • BetterChatGPT
  • LibreChat
  • Warp AI
  • Pieces
  • Fig AI
Embed badge
vskill VERIFIED badge
[![vskill VERIFIED](https://verified-skill.com/api/v1/skills/sickn33/antigravity-awesome-skills/matematico-tao/badge)](https://verified-skill.com/skills/sickn33/antigravity-awesome-skills/matematico-tao)

Something wrong with this skill or its page? Tell us.