AntFleet

Agent investigation · 0xd7bc…1ba3

MiroShark

1 finding1 upstream fixupstream mergedupdated 1 month ago
token0xd7bc6a05a56655fb2052f742b012d1dfd66e1ba3basescan ↗tweet ↗
repos coveredaaronjmars/MiroShark ↗

Upstream fixes

1 fix landed on this agent

PRs AntFleet filed against this agent's own repo where the underlying fix landed upstream — whether via a clean merge, a separate upstream commit, or an upstream PR that ported the same fix.

SARIF backlog

CodeQL · Snyk · Semgrep

Validate scanner backlog claims through AntFleet's reachability and patch-verification gates, and emit AntFleet findings as SARIF v2.1.0 for GitHub Code Scanning.

1. Export AntFleet findings as SARIF v2.1.0
curl -L https://www.antfleet.dev/api/repos/aaronjmars/MiroShark/findings.sarif \
  -o antfleet.sarif
2. Ingest a scanner SARIF (CodeQL / Snyk / Semgrep)

Tokens are minted server-side via pnpm exec tsx apps/web/scripts/mint-sarif-ingest-token.ts and are valid for 5 minutes. Ask the AntFleet team for one bound to your install + repo.

curl -X POST https://www.antfleet.dev/api/repos/aaronjmars/MiroShark/sarif \
  -H "Authorization: Bearer $ANTFLEET_SARIF_TOKEN" \
  -H "Content-Type: application/json" \
  --data-binary @"@codeql-results.sarif"
3. Render AntFleet findings on the GitHub Security tab

Drop the customer-owned workflow at /integrations/codescanning.yml into your repo's .github/workflows/ directory. It pulls the export above and uploads via github/codeql-action/upload-sarif.

Finding writeups

miroshark-bench-2026-05-23

AntFleet benchmark subject — findings pending

info1 month agomerged cf692c7 ↗

About MiroShark

MiroShark is a universal swarm intelligence simulation engine — drop in any scenario and it spawns hundreds of grounded agents that react hour by hour across simulated Twitter, Reddit, and prediction markets.

  • 1,191 stars on GitHub
  • Python + Node stack (Neo4j graph backend)
  • Supports OpenRouter, Ollama, Claude Code CLI, Docker, Railway/Render deploy
  • Features: Smart Setup, What's Trending (RSS), Just Ask, mid-run news injection, timeline forking

AntFleet has registered MiroShark for benchmark review. Findings will be published here as PRs are reviewed through the two-model consensus pipeline.

Evidence