huggingface / Math-Verify
Metrics

All numeric values measured by Sokrates.

Intro
Metrics
Metric Value
TOTAL_NUMBER_OF_FILES 35
NUMBER_OF_FILES_MAIN 12
LINES_OF_CODE_MAIN 1,654
NUMBER_OF_FILES_MAIN_EXT_PY 11
LINES_OF_CODE_MAIN_EXT_PY 1,585
NUMBER_OF_FILES_MAIN_EXT_TOML 1
LINES_OF_CODE_MAIN_EXT_TOML 69
NUMBER_OF_FILES_TEST 7
LINES_OF_CODE_TEST 294
NUMBER_OF_FILES_TEST_EXT_PY 7
LINES_OF_CODE_TEST_EXT_PY 294
TEST_VS_MAIN_LINES_OF_CODE_PERCENTAGE 17.77
NUMBER_OF_FILES_GENERATED 0
LINES_OF_CODE_GENERATED 0
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT 1
LINES_OF_CODE_BUILD_AND_DEPLOYMENT 3
NUMBER_OF_FILES_BUILD_AND_DEPLOYMENT_EXT_SH 1
LINES_OF_CODE_BUILD_AND_DEPLOYMENT_EXT_SH 3
NUMBER_OF_FILES_OTHER 2
LINES_OF_CODE_OTHER 258
NUMBER_OF_FILES_OTHER_EXT_MD 2
LINES_OF_CODE_OTHER_EXT_MD 258
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT 4
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT 294
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_PY 3
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_PY 225
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML 1
LINES_OF_CODE_DECOMPOSITION_PRIMARY_ROOT_EXT_TOML 69
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SRC 8
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SRC 1,360
NUMBER_OF_FILES_DECOMPOSITION_PRIMARY_SRC_EXT_PY 8
LINES_OF_CODE_DECOMPOSITION_PRIMARY_SRC_EXT_PY 1,360
NUMBER_OF_DEPENDENCY_LINKS_DECOMPOSITION_PRIMARY 0
NUMBER_OF_DEPENDENCIES_DECOMPOSITION_PRIMARY 0
NUMBER_OF_PLACES_WITH_CYCLIC_DEPENDENCIES_DECOMPOSITION_PRIMARY 0
NUMBER_OF_FILES_CONCERN_GENERAL_TODOS 0
LINES_OF_CODE_CONCERN_GENERAL_TODOS 0
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED 12
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED 1,654
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_PY 11
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_PY 1,585
NUMBER_OF_FILES_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML 1
LINES_OF_CODE_CONCERN_GENERAL_UNCLASSIFIED_EXT_TOML 69
NEGLIGIBLE_RISK_FILE_SIZE_COUNT 8
LOW_RISK_FILE_SIZE_COUNT 1
MEDIUM_RISK_FILE_SIZE_COUNT 3
HIGH_RISK_FILE_SIZE_COUNT 0
VERY_HIGH_RISK_FILE_SIZE_COUNT 0
NEGLIGIBLE_RISK_FILE_SIZE_LOC 395
LOW_RISK_FILE_SIZE_LOC 101
MEDIUM_RISK_FILE_SIZE_LOC 1,158
HIGH_RISK_FILE_SIZE_LOC 0
VERY_HIGH_RISK_FILE_SIZE_LOC 0
NUMBER_OF_UNITS 64
LINES_OF_CODE_IN_UNITS 621
LINES_OF_CODE_OUTSIDE_UNITS 1,033
UNIT_SIZE_NEGLIGIBLE_RISK_LOC 237
UNIT_SIZE_NEGLIGIBLE_RISK_PERCENTAGE 38.16
UNIT_SIZE_NEGLIGIBLE_RISK_COUNT 48
UNIT_SIZE_LOW_RISK_LOC 163
UNIT_SIZE_LOW_RISK_PERCENTAGE 26.25
UNIT_SIZE_LOW_RISK_COUNT 10
UNIT_SIZE_MEDIUM_RISK_LOC 169
UNIT_SIZE_MEDIUM_RISK_PERCENTAGE 27.21
UNIT_SIZE_MEDIUM_RISK_COUNT 5
UNIT_SIZE_HIGH_RISK_LOC 52
UNIT_SIZE_HIGH_RISK_PERCENTAGE 8.37
UNIT_SIZE_HIGH_RISK_COUNT 1
UNIT_SIZE_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_VERY_HIGH_RISK_COUNT 0
UNIT_SIZE_COMPONENT_ROOT_NEGLIGIBLE_RISK_LOC 59
UNIT_SIZE_COMPONENT_ROOT_NEGLIGIBLE_RISK_PERCENTAGE 30.1
UNIT_SIZE_COMPONENT_ROOT_NEGLIGIBLE_RISK_COUNT 8
UNIT_SIZE_COMPONENT_ROOT_LOW_RISK_LOC 23
UNIT_SIZE_COMPONENT_ROOT_LOW_RISK_PERCENTAGE 11.73
UNIT_SIZE_COMPONENT_ROOT_LOW_RISK_COUNT 2
UNIT_SIZE_COMPONENT_ROOT_MEDIUM_RISK_LOC 62
UNIT_SIZE_COMPONENT_ROOT_MEDIUM_RISK_PERCENTAGE 31.63
UNIT_SIZE_COMPONENT_ROOT_MEDIUM_RISK_COUNT 2
UNIT_SIZE_COMPONENT_ROOT_HIGH_RISK_LOC 52
UNIT_SIZE_COMPONENT_ROOT_HIGH_RISK_PERCENTAGE 26.53
UNIT_SIZE_COMPONENT_ROOT_HIGH_RISK_COUNT 1
UNIT_SIZE_COMPONENT_ROOT_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_COMPONENT_ROOT_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_ROOT_VERY_HIGH_RISK_COUNT 0
UNIT_SIZE_COMPONENT_SRC_NEGLIGIBLE_RISK_LOC 178
UNIT_SIZE_COMPONENT_SRC_NEGLIGIBLE_RISK_PERCENTAGE 41.88
UNIT_SIZE_COMPONENT_SRC_NEGLIGIBLE_RISK_COUNT 40
UNIT_SIZE_COMPONENT_SRC_LOW_RISK_LOC 140
UNIT_SIZE_COMPONENT_SRC_LOW_RISK_PERCENTAGE 32.94
UNIT_SIZE_COMPONENT_SRC_LOW_RISK_COUNT 8
UNIT_SIZE_COMPONENT_SRC_MEDIUM_RISK_LOC 107
UNIT_SIZE_COMPONENT_SRC_MEDIUM_RISK_PERCENTAGE 25.18
UNIT_SIZE_COMPONENT_SRC_MEDIUM_RISK_COUNT 3
UNIT_SIZE_COMPONENT_SRC_HIGH_RISK_LOC 0
UNIT_SIZE_COMPONENT_SRC_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_SRC_HIGH_RISK_COUNT 0
UNIT_SIZE_COMPONENT_SRC_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_COMPONENT_SRC_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_COMPONENT_SRC_VERY_HIGH_RISK_COUNT 0
UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_LOC 237
UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_PERCENTAGE 38.16
UNIT_SIZE_EXTENSION_PY_NEGLIGIBLE_RISK_COUNT 48
UNIT_SIZE_EXTENSION_PY_LOW_RISK_LOC 163
UNIT_SIZE_EXTENSION_PY_LOW_RISK_PERCENTAGE 26.25
UNIT_SIZE_EXTENSION_PY_LOW_RISK_COUNT 10
UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_LOC 169
UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_PERCENTAGE 27.21
UNIT_SIZE_EXTENSION_PY_MEDIUM_RISK_COUNT 5
UNIT_SIZE_EXTENSION_PY_HIGH_RISK_LOC 52
UNIT_SIZE_EXTENSION_PY_HIGH_RISK_PERCENTAGE 8.37
UNIT_SIZE_EXTENSION_PY_HIGH_RISK_COUNT 1
UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_LOC 0
UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_PERCENTAGE 0
UNIT_SIZE_EXTENSION_PY_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_LOC 343
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_PERCENTAGE 55.23
CONDITIONAL_COMPLEXITY_NEGLIGIBLE_RISK_COUNT 51
CONDITIONAL_COMPLEXITY_LOW_RISK_LOC 217
CONDITIONAL_COMPLEXITY_LOW_RISK_PERCENTAGE 34.94
CONDITIONAL_COMPLEXITY_LOW_RISK_COUNT 11
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_LOC 61
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_PERCENTAGE 9.82
CONDITIONAL_COMPLEXITY_MEDIUM_RISK_COUNT 2
CONDITIONAL_COMPLEXITY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_HIGH_PLUS_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_NEGLIGIBLE_RISK_LOC 81
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_NEGLIGIBLE_RISK_PERCENTAGE 41.33
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_NEGLIGIBLE_RISK_COUNT 8
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_LOW_RISK_LOC 115
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_LOW_RISK_PERCENTAGE 58.67
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_LOW_RISK_COUNT 5
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_MEDIUM_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_MEDIUM_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_MEDIUM_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_ROOT_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_NEGLIGIBLE_RISK_LOC 262
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_NEGLIGIBLE_RISK_PERCENTAGE 61.65
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_NEGLIGIBLE_RISK_COUNT 43
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_LOW_RISK_LOC 102
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_LOW_RISK_PERCENTAGE 24
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_LOW_RISK_COUNT 6
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_MEDIUM_RISK_LOC 61
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_MEDIUM_RISK_PERCENTAGE 14.35
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_MEDIUM_RISK_COUNT 2
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_SRC_VERY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_LOC 343
CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_PERCENTAGE 55.23
CONDITIONAL_COMPLEXITY_COMPONENT_PY_NEGLIGIBLE_RISK_COUNT 51
CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_LOC 217
CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_PERCENTAGE 34.94
CONDITIONAL_COMPLEXITY_COMPONENT_PY_LOW_RISK_COUNT 11
CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_LOC 61
CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_PERCENTAGE 9.82
CONDITIONAL_COMPLEXITY_COMPONENT_PY_MEDIUM_RISK_COUNT 2
CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_HIGH_RISK_COUNT 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_LOC 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_PERCENTAGE 0
CONDITIONAL_COMPLEXITY_COMPONENT_PY_VERY_HIGH_RISK_COUNT 0
FILE_CHANGE_HISTORY_TOTAL_AGE_DAYS 165
FILE_CHANGE_HISTORY_ACTIVE_DAYS 21
FILE_CHANGE_HISTORY_WEEKS 14
FILE_CHANGE_HISTORY_ESTIMATED_WORKING_DAYS 70
FILE_AGE_NEGLIGIBLE_RISK_COUNT 0
FILE_AGE_LOW_RISK_COUNT 1
FILE_AGE_MEDIUM_RISK_COUNT 11
FILE_AGE_HIGH_RISK_COUNT 0
FILE_AGE_VERY_HIGH_RISK_COUNT 0
FILE_AGE_NEGLIGIBLE_RISK_LOC 0
FILE_AGE_LOW_RISK_LOC 443
FILE_AGE_MEDIUM_RISK_LOC 1,211
FILE_AGE_HIGH_RISK_LOC 0
FILE_AGE_VERY_HIGH_RISK_LOC 0
NUMBER_OF_CONTRIBUTORS 5
DUPLICATION_NUMBER_OF_DUPLICATES 19
DUPLICATION_NUMBER_OF_FILES_WITH_DUPLICATES 3
DUPLICATION_NUMBER_OF_DUPLICATED_LINES 180
DUPLICATION_NUMBER_OF_CLEANED_LINES 1,584
DUPLICATION_PERCENTAGE 11.36
UNIT_DUPLICATES_COUNT 0
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_SRC 152
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_SRC 152
DUPLICATION_PERCENTAGE_PRIMARY_SRC 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PRIMARY_ROOT 28
DUPLICATION_NUMBER_OF_CLEANED_LINES_PRIMARY_ROOT 28
DUPLICATION_PERCENTAGE_PRIMARY_ROOT 100
DUPLICATION_NUMBER_OF_DUPLICATED_LINES_PY 180
DUPLICATION_NUMBER_OF_CLEANED_LINES_PY 1,515
DUPLICATION_PERCENTAGE_PY 11.88
TOTAL_ANALYSIS_TIME_IN_MILLIS 646