Signal AtlasHot Tool Tracker
Admin Login
Back to tool detailBack to rankingsBack to home

Signal Detail

fsl

This is a raw crawl record from GitHub, currently mapped to #12 on the Momentum board.

GitHubNEWJun 24, 02:14

Record Summary

Momentum #12

github+hackernews+rss

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops. Current movement: NEW. Note: "First time on the board".

Score72
Confidence78%
Surge+9%
Captured atJun 24, 02:14
GitHubbounded-model-checkingformal-methods
Current tool mapping
Captured namefsl

This is the name captured in the original signal at crawl time.

Current display namefsl

The system default name is still in use.

Current websitegithub.com

The system default website is still in use.

Current categoryAI Coding

The system default category is still in use.

Open tool research page
Source snapshot
GitHubymm-oss/fsl
github.com

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.

Author / Publisherymm-oss
Published atJun 24, 02:13
PythonStars 3Forks 0
GitHub Repo
Page snapshot
GitHubGitHub - ymm-oss/fsl: AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.
Fetched

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops. - ymm-oss/fsl

Fetched atJun 24, 04:26
Published atWaiting for sync
Domaingithub.com
HTTP status200
AuthorNot recorded
Cache statusFresh cache
Open canonical URL
Structured fields
Repositoryymm-oss/fsl
LanguagePython
Stars3
Forks0
Watchers3
Issues6
Updated At2026-06-24T02:13:47Z
Aggregated Source Count1

Raw Payload

Raw crawl payload

{
  "entity_key": "name:fsl",
  "source_count": 1,
  "providers": [
    {
      "provider_name": "github",
      "slug": "github-ymm-oss-fsl",
      "external_id": "1270572078",
      "external_url": "https://github.com/ymm-oss/fsl",
      "metric_value": 240,
      "payload": {
        "id": 1270572078,
        "node_id": "R_kgDOS7tkLg",
        "name": "fsl",
        "full_name": "ymm-oss/fsl",
        "private": false,
        "owner": {
          "login": "ymm-oss",
          "id": 271403070,
          "node_id": "O_kgDOEC1IPg",
          "avatar_url": "https://avatars.githubusercontent.com/u/271403070?v=4",
          "gravatar_id": "",
          "url": "https://api.github.com/users/ymm-oss",
          "html_url": "https://github.com/ymm-oss",
          "followers_url": "https://api.github.com/users/ymm-oss/followers",
          "following_url": "https://api.github.com/users/ymm-oss/following{/other_user}",
          "gists_url": "https://api.github.com/users/ymm-oss/gists{/gist_id}",
          "starred_url": "https://api.github.com/users/ymm-oss/starred{/owner}{/repo}",
          "subscriptions_url": "https://api.github.com/users/ymm-oss/subscriptions",
          "organizations_url": "https://api.github.com/users/ymm-oss/orgs",
          "repos_url": "https://api.github.com/users/ymm-oss/repos",
          "events_url": "https://api.github.com/users/ymm-oss/events{/privacy}",
          "received_events_url": "https://api.github.com/users/ymm-oss/received_events",
          "type": "Organization",
          "user_view_type": "public",
          "site_admin": false
        },
        "html_url": "https://github.com/ymm-oss/fsl",
        "description": "AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.",
        "fork": false,
        "url": "https://api.github.com/repos/ymm-oss/fsl",
        "forks_url": "https://api.github.com/repos/ymm-oss/fsl/forks",
        "keys_url": "https://api.github.com/repos/ymm-oss/fsl/keys{/key_id}",
        "collaborators_url": "https://api.github.com/repos/ymm-oss/fsl/collaborators{/collaborator}",
        "teams_url": "https://api.github.com/repos/ymm-oss/fsl/teams",
        "hooks_url": "https://api.github.com/repos/ymm-oss/fsl/hooks",
        "issue_events_url": "https://api.github.com/repos/ymm-oss/fsl/issues/events{/number}",
        "events_url": "https://api.github.com/repos/ymm-oss/fsl/events",
        "assignees_url": "https://api.github.com/repos/ymm-oss/fsl/assignees{/user}",
        "branches_url": "https://api.github.com/repos/ymm-oss/fsl/branches{/branch}",
        "tags_url": "https://api.github.com/repos/ymm-oss/fsl/tags",
        "blobs_url": "https://api.github.com/repos/ymm-oss/fsl/git/blobs{/sha}",
        "git_tags_url": "https://api.github.com/repos/ymm-oss/fsl/git/tags{/sha}",
        "git_refs_url": "https://api.github.com/repos/ymm-oss/fsl/git/refs{/sha}",
        "trees_url": "https://api.github.com/repos/ymm-oss/fsl/git/trees{/sha}",
        "statuses_url": "https://api.github.com/repos/ymm-oss/fsl/statuses/{sha}",
        "languages_url": "https://api.github.com/repos/ymm-oss/fsl/languages",
        "stargazers_url": "https://api.github.com/repos/ymm-oss/fsl/stargazers",
        "contributors_url": "https://api.github.com/repos/ymm-oss/fsl/contributors",
        "subscribers_url": "https://api.github.com/repos/ymm-oss/fsl/subscribers",
        "subscription_url": "https://api.github.com/repos/ymm-oss/fsl/subscription",
        "commits_url": "https://api.github.com/repos/ymm-oss/fsl/commits{/sha}",
        "git_commits_url": "https://api.github.com/repos/ymm-oss/fsl/git/commits{/sha}",
        "comments_url": "https://api.github.com/repos/ymm-oss/fsl/comments{/number}",
        "issue_comment_url": "https://api.github.com/repos/ymm-oss/fsl/issues/comments{/number}",
        "contents_url": "https://api.github.com/repos/ymm-oss/fsl/contents/{+path}",
        "compare_url": "https://api.github.com/repos/ymm-oss/fsl/compare/{base}...{head}",
        "merges_url": "https://api.github.com/repos/ymm-oss/fsl/merges",
        "archive_url": "https://api.github.com/repos/ymm-oss/fsl/{archive_format}{/ref}",
        "downloads_url": "https://api.github.com/repos/ymm-oss/fsl/downloads",
        "issues_url": "https://api.github.com/repos/ymm-oss/fsl/issues{/number}",
        "pulls_url": "https://api.github.com/repos/ymm-oss/fsl/pulls{/number}",
        "milestones_url": "https://api.github.com/repos/ymm-oss/fsl/milestones{/number}",
        "notifications_url": "https://api.github.com/repos/ymm-oss/fsl/notifications{?since,all,participating}",
        "labels_url": "https://api.github.com/repos/ymm-oss/fsl/labels{/name}",
        "releases_url": "https://api.github.com/repos/ymm-oss/fsl/releases{/id}",
        "deployments_url": "https://api.github.com/repos/ymm-oss/fsl/deployments",
        "created_at": "2026-06-15T21:04:42Z",
        "updated_at": "2026-06-24T02:13:47Z",
        "pushed_at": "2026-06-24T02:13:44Z",
        "git_url": "git://github.com/ymm-oss/fsl.git",
        "ssh_url": "git@github.com:ymm-oss/fsl.git",
        "clone_url": "https://github.com/ymm-oss/fsl.git",
        "svn_url": "https://github.com/ymm-oss/fsl",
        "homepage": null,
        "size": 1337,
        "stargazers_count": 3,
        "watchers_count": 3,
        "language": "Python",
        "has_issues": true,
        "has_projects": true,
        "has_downloads": true,
        "has_wiki": true,
        "has_pages": true,
        "has_discussions": false,
        "forks_count": 0,
        "mirror_url": null,
        "archived": false,
        "disabled": false,
        "open_issues_count": 6,
        "license": {
          "key": "apache-2.0",
          "name": "Apache License 2.0",
          "spdx_id": "Apache-2.0",
          "url": "https://api.github.com/licenses/apache-2.0",
          "node_id": "MDc6TGljZW5zZTI="
        },
        "allow_forking": true,
        "is_template": false,
        "web_commit_signoff_required": false,
        "has_pull_requests": true,
        "pull_request_creation_policy": "all",
        "topics": [
          "bounded-model-checking",
          "formal-methods",
          "formal-specification",
          "llm",
          "model-checking",
          "python",
          "refinement",
          "verification",
          "z3"
        ],
        "visibility": "public",
        "forks": 0,
        "open_issues": 6,
        "watchers": 3,
        "default_branch": "main",
        "temp_clone_token": null,
        "custom_properties": {},
        "organization": {
          "login": "ymm-oss",
          "id": 271403070,
          "node_id": "O_kgDOEC1IPg",
          "avatar_url": "https://avatars.githubusercontent.com/u/271403070?v=4",
          "gravatar_id": "",
          "url": "https://api.github.com/users/ymm-oss",
          "html_url": "https://github.com/ymm-oss",
          "followers_url": "https://api.github.com/users/ymm-oss/followers",
          "following_url": "https://api.github.com/users/ymm-oss/following{/other_user}",
          "gists_url": "https://api.github.com/users/ymm-oss/gists{/gist_id}",
          "starred_url": "https://api.github.com/users/ymm-oss/starred{/owner}{/repo}",
          "subscriptions_url": "https://api.github.com/users/ymm-oss/subscriptions",
          "organizations_url": "https://api.github.com/users/ymm-oss/orgs",
          "repos_url": "https://api.github.com/users/ymm-oss/repos",
          "events_url": "https://api.github.com/users/ymm-oss/events{/privacy}",
          "received_events_url": "https://api.github.com/users/ymm-oss/received_events",
          "type": "Organization",
          "user_view_type": "public",
          "site_admin": false
        },
        "network_count": 0,
        "subscribers_count": 0
      }
    }
  ]
}