"Linear" matching MCP servers:

• n0s1-mcp

  spark1security

  A

  license

  A

  quality

  A

  maintenance

  Enables AI assistants to scan multiple services and local filesystems for leaked secrets using n0s1 secret-scanning capabilities.

  Updated 2 months ago (2026-06-19 16:51 UTC)

  13

  GPL 3.0

• crs-mcp

  nickharris808

  A

  license

  -

  quality

  A

  maintenance

  MCP server that certifies or refutes the soundness of linear integer guards over declared boxes, returning concrete counterexamples when unsound and honest refusals when the domain is too large.

  Updated 10 days ago (2026-08-01 14:37 UTC)

  Apache 2.0

• temporal-graph-mcp

  iatagun

  F

  license

  -

  quality

  C

  maintenance

  An experimental MCP server that compresses git commit co-change coupling graphs using the Baligács temporal clique linear spanner algorithm, reducing edge and token counts by ~55-65% while preserving temporal reachability, and exposes tools like index_repository, get_architecture, search_code, and temporal_compress for querying code knowledge graphs.

  Updated 8 days ago (2026-08-03 21:10 UTC)
• 

  CodeLogicofficial

  lineai-intelligence

  A

  license

  A

  quality

  A

  maintenance

  Interact with CodeLogic, a Software Intelligence platform that graphs complex code and data architecture dependencies, to boost AI accuracy and insight.

  Updated 4 days ago (2026-08-07 12:15 UTC)

  8

  38

  Mozilla Public 2.0