ConcoLLMic AI Agent

by ConcoLLMic• 164•• Not scanned yet•Claim this listing•Request removal
Security & Testingconcolic testingllm agentprogram analysissymbolic execution

ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents

ConcoLLMic is an open-source ai agent by ConcoLLMic, written mainly in Python, with 164 GitHub stars. Its code was last updated Sep 8, 2026.

aboutREADMEsecurityreviews
Not scanned yet

This listing was imported from public GitHub data and hasn't been through AgenticMart's security scan. Until it is, treat it like any unreviewed code: read the source and limit what it can access.

  • Static code scan — pending
  • Secrets & dependency CVEs — pending
  • Build & boot check — pending
  • Network egress audit — pending
  • Public report — pending
I maintain this — claim & scanHow scans work

ConcoLLMic alternatives

View more →

Similar ai agents in Security & Testing, ranked by GitHub stars. Compare licence, recent activity and scan status before you choose.

NameStarsLicenceLast updatedScan
ConcoLLMic (this page)
ConcoLLMic
164None foundSep 8, 2026Not scanned yet
ECC
affaan-m
294kMITOct 30, 2026Scanned, no flagged issues
Strix
usestrix
73kApache-2.0Oct 30, 2026Scanned, no flagged issues
Goose
aaif-goose
56kApache-2.0Nov 1, 2026Scanned, no flagged issues
Anthropic Cybersecurity Skills
mukul975
35kApache-2.0Aug 31, 2026Scanned, no flagged issues
Pentagi
vxcontrol
33kMITOct 22, 2026Scanned, no flagged issues